Title: A combination of system software techniques aimed at raising the run-time safety of complex mechatronic applications