Nicolas Navet, Loïc Fejoz. CPAL: high-level abstractions for safe embedded systems. In Juha-Pekka Tolvanen, Jeff Gray, Matti Rossi, Jonathan Sprinkle, editors, Proceedings of the International Workshop on Domain-Specific Modeling, DSM@SPLASH 2016, Amsterdam, Netherlands, October 30, 2016. pages 35-41, ACM, 2016. [doi]
Abstract is missing.