Linked Presentation: From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY