SMS versenden: Mission and safety critical (MASC) : an EVACS simulation with nested transactions : project report / by David Auty, Colin Atkinson, Charlie Randall.