Pfeifer, Holger Modular for mal Analysis ofCentral Guardian InTime-Triggered Architecture - 1538-1550 p. Subjects--Topical Terms: ModularTime-Triggered Protocol for mal Method