Modelling and proving of truly concurrent systems with CATNets. - Mohamed Bettaz; Abbas Mehemmel (PDP, 1993)