Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach.