Spécification et conception des systèmes temps réel - Jean-André Biancolin