% This file describes the modal formulas for property 3 used in section
% 5.3 of Designing and understanding the behaviour of systems
% by J.F. Groote and M.A. Reniers.

[true*.(atOutermost+atInnermost)]mu X.[!motorOff]X
