A novel modeling framework for time-triggered safety-critical embedded systems | Publicación