Generic system architecture for dependable interactive systems: A flying robot example | IEEE Conference Publication | IEEE Xplore