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