Input I1 is bool
Internal S1 is bool 
Internal S2 is bool 
Output O1 is bool


req1: Globally, it is always the case that if "I1" holds for at least "5" time units, then "S1" holds afterwards for at least "10" time units
req2: Globally, it is always the case that if "S1" holds for at least "5" time units, then "S2" holds afterwards for at least "10" time units
req3: Globally, it is always the case that if "S2" holds for at least "5" time units, then "O1" holds afterwards for at least "10" time units