Modeling and verification of real-time systemsNicolas Navet, Stephan Merz · First published 2008Open the Tome
Automotive Embedded Systems Handbook. Industrial Information Technology SeriesNicolas Navet, Francoise Simonot-Lion, Richard Zurawski · First published 2009Open the Tome
