// Description #2 of a robot tarpaulin in beta-Juliet
event Exception;
event RainBegins,
causes Exception when RainBegins > RainEnds;
event RainEnds,
causes Exception when RainEnds > RainBegins;
event SystemActivated,
causes CloseTarpaulin when RainBegins > RainEnds,
causes OpenTarpaulinTimer when RainEnds > RainBegins,
causes Exception when SystemActivated > SystemDeactivated;
event SystemDeactivated,
causes Exception when SystemDeactivated > SystemActivated;
event CloseTarpaulin,
caused after RainBegins when SystemActivated > SystemDeactivated;
event OpenTarpaulinTimer,
duration 10 m,
caused after RainEnds when SystemActivated > SystemDeactivated;
event OpenTarpaulin,
caused after OpenTarpaulinTimer.