Validation of scenario-based business requirements with Coloured Petri Nets - Ribeiro, Óscar R. (2009)