Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan, Markus Voelter. FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems. In Antonio Bucchiarone, Antonio Cicchetti, Federico Ciccozzi, Alfonso Pierantonio, editors, Domain-Specific Languages in Practice: with JetBrains MPS. pages 131-164, Springer, 2021. [doi]
@incollection{RatiuNMCV21,
title = {FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems},
author = {Daniel Ratiu and Arne Nordmann and Peter Munk and Carmen Cârlan and Markus Voelter},
year = {2021},
doi = {10.1007/978-3-030-73758-0_5},
url = {https://doi.org/10.1007/978-3-030-73758-0_5},
researchr = {https://researchr.org/publication/RatiuNMCV21},
cites = {0},
citedby = {0},
pages = {131-164},
booktitle = {Domain-Specific Languages in Practice: with JetBrains MPS},
editor = {Antonio Bucchiarone and Antonio Cicchetti and Federico Ciccozzi and Alfonso Pierantonio},
publisher = {Springer},
isbn = {978-3-030-73758-0},
}