Pim Kars Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. 165-180 1994 conf/forte/1994 FORTE db/conf/forte/forte1994.html#Kars94