Incorporating Animation in Stepwise Development of Formal Specification
Guidelines for Formal Domain Modeling in Event-B