A tool for object-oriented dynamic modeling | IEEE Conference Publication | IEEE Xplore