Return to Article Details Ensuring traffic safety as a state function Download Download PDF