Introduction; – Normative Temporal Logic; – Symbolic Representations; – Model Checking; – Case Study : Traffic Control; – Discussion.