You're a train engineer in charge of developing a modest, safety-critical train control system that has to be shown safe and secure. Your suggestion that formal approaches be employed in the creation...

Extracted text: You're a train engineer in charge of developing a modest, safety-critical train control system that has to be shown safe and secure. Your suggestion that formal approaches be employed in the creation of this system is received with skepticism by your boss. Write a paper outlining the advantages of formal methods and making a case for their application in this project?