Modelling and proving of truly concurrent systems with CATNets | IEEE Conference Publication | IEEE Xplore