Abstract State Machines Method for High-Level System Design and Analysis A Software EngineeringTechnique Egon Börger (Slightly adapted by Fabio Martinelli.