Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture (2004)

by H Pfeifer, F W von Henke
Venue:Proc. of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 3219 of Lecture Notes in Computer Science