<![CDATA[lamport Resources | ZDNet]]> en-us <![CDATA[CmUML - A UML Based Framework for Formal Specification of Concurrent, Reactive Systems]]> Sat, 01 Nov 2008 00:00:00 -0700