The Abstract State Machines Method for High-Level System Design and Analysis