Verifying a Time-Triggered Protocol in a Multi-language Environment.

Agathe Merceron, Monika Mllerburg, G. Michele Pinna

Browse the full SAFECOMP paper archive.