Agathe Merceron, Monika Müllerburg, G. Michele Pinna: Verifying a Time-Triggered Protocol in a Multi-language Environment. SAFECOMP 1998: 185-195