hallbuttonControl and CarButtonControl

contains statechart and tracebility of hallButtonControl and
CarButtonCcontrol