A methodology for mapping live sequence chart to coloured Petri net | IEEE Conference Publication | IEEE Xplore