From UML sequence diagrams and statecharts to analysable petri net models | Publicación