cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems

Jagadish Suryadevara, Lawrence Chung, R. K. Shyamasundar. cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. Journal of Object Technology, 7(8):187-207, 2008. [doi]

Abstract

Abstract is missing.