Nicolas Navet

• Automotive Embedded Systems Handbook
• Automotive embedded systems handbook
• Modeling and verification of real-time systems
• Automotive Embedded Systems Handbook. Industrial Information Technology Series
• Modeling and Verification of Real-Time Systems