Modeling with Abstract State Machines: A support for accurate system design and analysis