Iban Ayestaran, Carlos Fernando Nicolas, Jon Perez, Asier Larrucea, Peter P. Puschner. A novel modeling framework for time-triggered safety-critical embedded systems. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-8, IEEE, 2014. [doi]
Abstract is missing.