Which type of operating system would be the best choice to control the braking system on a car?