automatic tool / low-level software implementation / control software behavior / control systems / safety-critical applications / control applications / realistic controller device / computing / adaptive control technologies / theorem-proving tools / linear systems / control law / /