Paola Inverardi Corrado Priami Evaluation of Tools for the Analysis of Communicating Systems. 158-185 1991 45 Bulletin of the EATCS db/journals/eatcs/eatcs45.html#InverardiP91