Georg Hagele, Dirk Söffker. Strictly Formalized Situation-Operator-Modeling technique for fall-back layer modeling for autonomous or semi-autonomous systems requiring software-based fail-safe behavior. In 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016. pages 886-891, IEEE, 2016. [doi]
Abstract is missing.