ROAD/EE: A Prototyping Environment for Object-Oriented Specifications. - N. Tamura; T. Nakajima (TOOLS (23), 1997)