1
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... of UML State Machines -- Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity...