selected publications conference paper An integrated distributed monitoring for mission-based systems: On the example of an autonomous unmanned helicopter. . 2012