#A4#
##
#3a. DoorMotor[b,*]=Open#
#3b. mDoorOpened[b,r]=True#
#Sequence Diagram 4A: Group 12 - tke, semerson, dgorzigl, dhaddox#
#DoorOpened#
#DoorMotor#
#DoorControl#
#3c. DoorMotor[b,*]=STOP#
#AtFloor#
#DriveControl#
#2a. mAtFloor[f,b]=True#
#Drive#
#2b. Drive(s,d)=Stop,Stop#
#Passenger#
#2c. mDriveSpeed=(0,Stop)#
#4a. Passenger Exits#
##
##
##
#Dispatcher#
##
#1b. mDesiredFloor(b) == b#
#CarPositionControl#
#1a. mCarPositionIndicator = f#