A generic approach to the control of discrete event systems. - André Arnold; Xavier Briand; Gérald Point; Aymeric Vincent (CDC/ECC, 2005)

Combining Control and Data Abstraction in the Verification of Hybrid Systems. - Xavier Briand; Bertrand Jeannet (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)