TRANSFORMING SA/RT GRAPHICAL SPECIFICATIONS INTO CSP+T FORMALISM - Obtaining a formal specification from semi-formal SA/RT essential models | Publicación