selected publications conference paper Generic system architecture for dependable interactive systems: A flying robot example. . 2010