ROAD/EE: a prototyping environment for object-oriented specifications | IEEE Conference Publication | IEEE Xplore