Ayestaran, I., Nicolas, C. F., Perez, J., Ortube, A. L., & Puschner, P. (2014). A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems. In Proceedings of the Forum on Specification & Design Languages (FDL 2014). Forum on specification & Design Languages (FDL), Southampton, UK, EU. http://hdl.handle.net/20.500.12708/55769