International Scholarly Research Notices

Research Article

Formal Development of System of Systems

Algorithm 2

Event STOP_ALARM_MOTION_TIMEOUT.
event STOP_ALARM_MOTION_TIMEOUT
 where
 @grd6_1 ∈ motionsensors ⇒ sensor_state(s) = sensor_lights_off
 @grd6_2 alarm = TRUE
 then
 @act6_1 alarm ≔ FALSE
end