Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC | Publicación