System-level co-simulation of integrated avionics using polychrony. - Huafeng Yu; Yue Ma 004; Yann Glouche; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Paul Le Guernic; Andres Toom; Odile Laurent (SAC, 2011)

Model-based formal specification of a DSL library for a qualified code generator. - Arnaud Dieumegard; Andres Toom; Marc Pantel (OCL@MoDELS, 2012)

A software product line approach for semantic specification of block libraries in dataflow languages. - Arnaud Dieumegard; Andres Toom; Marc Pantel (SPLC, 2014)

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. - Arnaud Dieumegard; Andres Toom; Marc Pantel (FMICS-AVoCS, 2016)