Nicolas NavetBooksModeling and Verification of Real-Time SystemsModeling and verification of real-time systemsAutomotive embedded systems handbookAutomotive Embedded Systems Handbook. Industrial Information Technology SeriesAuthor data: Open Library
