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]
Abstract is missing.