Assistant Professor at the ESIAG Team Systems Specification and Verification Office: P2-221Email: Phone +33: Fax +33:
