Formal Development of System of Systems

<table><tr><td><table class="algorithm" id="alg3"><tr><td colspan="2">event STOP_ALARM_VACATION_ENDED</td></tr><tr><td colspan="2"> where</td></tr><tr><td colspan="2"> @grd6_1 vacation = FALSE</td></tr><tr><td colspan="2"> @grd6_2 alarm = TRUE</td></tr><tr><td colspan="2"> then</td></tr><tr><td colspan="2"> @act6_1 alarm ≔ FALSE</td></tr><tr><td colspan="2">end</td></tr></table></td></tr></table>

International Scholarly Research Notices

alg3

Algorithm 3

Algorithm 3: Formal Development of System of Systems 