"Mapping UML sequence diagram to time petri net for requirement validation ..."

Ermeson Carneiro de Andrade et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics