A Modeling Framework for Efficient Safety Critical Time-Triggered Architecture Design | Publicación