Properties to check: examples
If Temperature is in Hot, then eventually Temperature is in Okay or Rod_Configuration is in All_In
Rod_Configuration only changes in response to a Move_Finished event
Previous slide
Next slide
Back to first slide
View graphic version