Abstract State Machines: A Method for High-Level System Design and Analysis | DealShopping UK