Text this: Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets