selected publications conference paper An integrated distributed monitoring for mission-based systems: On the example of an autonomous unmanned helicopter. . 2012 Generic system architecture for dependable interactive systems: A flying robot example. . 2010