Supervision and safety of complex systems - Matta, Nada; Vandenboomgaerde, Yves; Arlat, Jean (ISTE, 2012)