Formal analysis for dependability properties: the time-triggered architecture example.

Holger Pfeifer, Friedrich W. von Henke

Browse the full ETFA paper archive.