; 18649 Spring 2010
; group 7 
; Justin Ray/justinr2
; other names go here
; sd4b.mf


;CAN ID's for controller messages (used in assertions)
#DEFINE BUTTON_2_CAN_ID 0x09902801

;period and ID for system module messages 
;mempty
#DEFINE EMPTY_PER 500ms
#DEFINE EMPTY_2_CAN_ID 0x0ABC4601

;set input initial value
0.0s I EMPTY_PER N EMPTY_2_CAN_ID Empty 2 = false

;#arc '4B.1a'
1.0s I EMPTY_PER N EMPTY_2_CAN_ID Empty 2 = true

;#arc '4B.1b'
;#arc '4B.1c'
1.5s A F Light 2 : lighted == false

;#arc '4B.1d'
2.0s A N BUTTON_2_CAN_ID Button 2 : getButtonState == false