selected publications conference paper An integrated distributed monitoring for mission-based systems: On the example of an autonomous unmanned helicopter. . 2012 Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters. . 2010