Transforming state tables to Coloured Petri nets for automatic verification of internet protocols | IEEE Conference Publication | IEEE Xplore