An object-oriented model for specification, prototyping, implementation and reuse | IEEE Conference Publication | IEEE Xplore