Formalizing and integrating the dynamic model for object-oriented modeling | IEEE Journals & Magazine | IEEE Xplore