Modeling Urgency in Timed Systems. - Sébastien Bornot; Joseph Sifakis; Stavros Tripakis (COMPOS, 1997)

Relating Time Progress and Deadlines in Hybrid Systems. - Sébastien Bornot; Joseph Sifakis (HART, 1997)

On the Composition of Hybrid Systems. - Sébastien Bornot; Joseph Sifakis (HSCC, 1998)

De la composition de systèmes temporisés. (On the Composition of Timed Systems). - Sébastien Bornot (1998)

Statische Analysetechniken für speicherprogrammierbare Steuerungen. - Sébastien Bornot; Ralf Huuck; Ben Lukoschus (FBT, 2000)

Verification of Sequential Function Charts Using SMV. - Sébastien Bornot; Ralf Huuck; Ben Lukoschus (PDPTA, 2000)

On the Construction of Live Timed Systems. - Sébastien Bornot; Gregor Gößler; Joseph Sifakis (TACAS, 2000)

An Algebraic Framework for Urgency. - Sébastien Bornot; Joseph Sifakis (Inf. Comput., 2000)

Black Box Unfolding with Local First Search. - Sébastien Bornot; Rémi Morin; Peter Niebert; Sarah Zennou (TACAS, 2002)