Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle | IEEE Conference Publication | IEEE Xplore