Kai Koskimies Tarja Systä Jyrki Tuomi Tatu Männistö Automated Support for Modeling OO Software. 87-94 1998 15 IEEE Software 1 db/journals/software/software15.html#KoskimiesSTM98