A methodology for specifying and analyzing consistency of object-oriented behavioral models
Object-Oriented Modeling: A Roadmap