TY  - SER
AU  - Pfeifer, Holger
TI  - Modular  for mal Analysis ofCentral Guardian InTime-Triggered Architecture
KW  - Modular
KW  - Time-Triggered Protocol
KW  -  for mal Method
ER  -