Environment_PW environment_model_PW { Parallel { name = "s_" duration = 0 {Contains} CommunicationSequence { name = "driver" actor = "driver" duration = 0 {Contains} Event cmdUpD { name = "cmdUpD" duration = 3 } {Contains} Event cmdStopD { name = "cmdStopD" duration = 4 } {Contains} Event cmdDownP { name = "cmdDown" duration = 3 } {Contains} Event lockOut { name = "lockOut" duration = 1 } } {Contains} CommunicationSequence { name = "passenger" duration = 0 {Contains} Event cmdUp1 { name = "cmdUp" duration = 3 } {Contains} Event stickHead { name = "stickHead" duration = 3 } {Contains} Event cmdUp2 { name = "cmdUp" duration = 2 } } } Next (cmdUpD, cmdStopD) {} Next (cmdStopD, cmdDownP) {} Next (cmdDownP, lockOut) {} Next (cmdUp1, stickHead) {} Next (stickHead, cmdUp2) {} }