Transitionssystem- und Baum-Semantiken für CCS. - Christine Baier (1994)

A hierarchical control architecture for sequential behaviours. - Christine Baier; Thomas Moor (WODES, 2012)

On the computation of supremal sublanguages relevant to supervisory control. - Thomas Moor; Christine Baier; Tae-Sic Yoo; Feng Lin 001; Stéphane Lafortune (WODES, 2012)

Consistent abstractions for the purpose of supervisory control. - Thomas Moor; Christine Baier; Thomas Wittmann 001 (CDC, 2013)

A hierarchical and modular control architecture for sequential behaviours. - Christine Baier; Thomas Moor (Discret. Event Dyn. Syst., 2015)