Requirements Validation: Execution of UML Models with CPN Tools. - Ricardo Jorge Machado 001; Kristian Bisgaard Lassen; Sérgio Oliveira; Marco Couto 002; Patrícia Pinto (Int. J. Softw. Tools Technol. Transf., 2007)