Towards the verification of real-time systems in avionics: the Cotre approach.
Bernard BerthomieuPierre-Olivier RibetFrançois VernadatJ. L. BernarttJean-Marie FarinesJean-Paul BodeveixMamoun FilaliGérard PadiouPierre MichelPatrick FarailPierre GauffiletPierre DissauxJean-Luc LambertPublished in: Electron. Notes Theor. Comput. Sci. (2003)