Leaking Gaz Burner
Goal: a gaz burner can leak from time to time. Make sure that the leak
stays reasonnable under the assumption that its leaks no longer than a
given constant and that it does not leak for a least a certain amount of
time. This behavior is described by a simple automaton (PDF).
Encoding, with resulting transformers and preconditions
Encoding, with ASPIC log and result