Automated Support for Modeling OO Software. - Kai Koskimies; Tarja Systä; Jyrki Tuomi; Tatu Männistö (IEEE Softw., 1998)