Workshop scenario: Your team is working on an autonomous quadcopter mission. As a lead software engineer, your current priority is to ensure that the mission mode logic is robust and fully verified, a ...