On MITL and Alternating Timed Automata. - Thomas Brihaye; Morgane Estiévenart; Gilles Geeraerts (FORMATS, 2013)

On MITL and Alternating Timed Automata over Infinite Words. - Thomas Brihaye; Morgane Estiévenart; Gilles Geeraerts (FORMATS, 2014)

Real-Time Synthesis is Hard! - Thomas Brihaye; Morgane Estiévenart; Gilles Geeraerts; Hsi-Ming Ho; Benjamin Monmege; Nathalie Sznajder (FORMATS, 2016)