Model-Checking Timed. - François Laroussinie; Nicolas Markey; Ghassan Oreiby (FORMATS, 2006)

Timed Concurrent Game Structures. - Thomas Brihaye; François Laroussinie; Nicolas Markey; Ghassan Oreiby (CONCUR, 2007)

On the Expressiveness and Complexity of ATL. - François Laroussinie; Nicolas Markey; Ghassan Oreiby (Log. Methods Comput. Sci., 2008)

Using Model Checking for Analyzing Distributed Power Control Problems. - Thomas Brihaye; Marc Jungers; Samson Lasaulce; Nicolas Markey; Ghassan Oreiby (EURASIP J. Wirel. Commun. Netw., 2010)