Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.

Jon Perez Carlos Fernando Nicolas Roman Obermaisser Christian El Salloum Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. 10-15 2010 FDL conf/fdl/2010 db/conf/fdl/fdl2010.html#PerezNOS10