Object prototyping: Concept and specification language | IEEE Conference Publication | IEEE Xplore