Systèmes temps réel 1: Techniques de description et de vérification (Traité IC2, série Informatique et systèmes d'information) - Nicolas Navet