Commentaires

Temporal Logic Operators