Text this: Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation