Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.

Holger Pfeifer, Friedrich W. von Henke

Browse the full SAFECOMP paper archive.