Kristian Bisgaard Lassen Simon Tjell Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets. 233-240 2008 4 ISSE 3 http://dx.doi.org/10.1007/s11334-008-0054-3 db/journals/isse/isse4.html#LassenT08