Towards an abstract language for dynamic modelling in object-oriented design | IEEE Conference Publication | IEEE Xplore