The UML and Formal Methods: A Case Study | part of Emerging Methods, Technologies and Process Management in Software Engineering | Wiley-IEEE Press books | IEEE Xplore