Automated support for modeling OO software | IEEE Journals & Magazine | IEEE Xplore