Practical Uses of Formal Methods in Development of Airborne Software
Methods and apparatus for isolating safety functions in a motion control system for a vehicle
METHODS AND APPARATUS FOR ISOLATING SAFETY FUNCTIONS IN A MOTION CONTROL SYSTEM FOR A VEHICLE