Formal Analysis for Dependability Properties: the Time-Triggered Architecture Example (2001)

by H Pfeifer, F W von Henke
Venue:In Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001