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