S. Purushothaman Iyer Experiments in Data flow analysis of Communicating Finite State Machines. 141-153 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#Iyer93