Use case diagrams (UCDs) are widely used for describing how different users use the
functionalities of a system to achieve their goals. As today's software systems offer an ever …

Modeling of software-intensive systems using formal declarative modeling languages offers
a means of managing software complexity through the use of abstraction and early …

While formal methods are being applied increasingly in industry and are invaluable in
allowing users to specify, model, and verify complex systems, the multitude of available tools …