Semantics and verification of extended phase transition systems in Duration Calculus | Publicación