Verification of an avionic system using timed model checking. - Francois Carcenac; Frédéric Boniol (ISoLA (Preliminary proceedings), 2004)

A formal framework for verifying distributed embedded systems based on abstraction methods. - Francois Carcenac; Frédéric Boniol (Int. J. Softw. Tools Technol. Transf., 2006)

A Synchronous Look at the Simulink Standard Library. - Timothy Bourke; Francois Carcenac; Jean-Louis Colaço; Bruno Pagano; Cédric Pasteur; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2017)