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]
@inproceedings{AyestaranNPLP14-1,
title = {A novel modeling framework for time-triggered safety-critical embedded systems},
author = {Iban Ayestaran and Carlos Fernando Nicolas and Jon Perez and Asier Larrucea and Peter P. Puschner},
year = {2014},
doi = {10.1109/FDL.2014.7119343},
url = {http://dx.doi.org/10.1109/FDL.2014.7119343},
researchr = {https://researchr.org/publication/AyestaranNPLP14-1},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014},
publisher = {IEEE},
isbn = {978-2-9530504-9-3},
}