Luca Santinelli, Frédéric Boniol, Eric Noulard, Claire Pagetti, W. Puffitsch. Integrated Development Framework for Safety-Critical Embedded Systems..
19th International Symposium on Formal Methods (FM 2014), May 2014, SINGAPOUR, Indonesia.
⟨hal-01070546⟩