Class and Capsule Refinement in UML for Real Time (2004)

by A Sampaio, A Mota, Ramos
Venue:In Proceedings of the Brazilian Workshop on Formal Methods, volume 95 of ENTCS