Modeling time-triggered architecture based safety-critical embedded systems using SystemC | Publicación