safety-critical-control-systems-for-ride-applications