selected publications conference paper Comparative Application of Real-Time Verification Methods to an Automotive Architecture. HAL (Le Centre pour la Communication Scientifique Directe). 2010