Formal Verification of UML Statecharts with Real-Time Extensions.

Alexandre David, M. Oliver Mller, Wang Yi

Browse the full FASE paper archive.