1. A. Arnold, MEC: a System for Constructing and Analysing Transition Systems, to appear in Proceedings of the 1st Workshop on Automatic Verification Methods for Finite State Systems, Grenoble (1989).
2. G. Boudol, R. de Simone, D. Vergamini, Experiment withAutoandAuto Graphon a Simple Case of Sliding Window Protocol, INRIA Res. Rep. 870 (1988).
3. R. Cleaveland, J. Parrow, B. Steffen, The Concurrency Worbench, Rep. ECS-LFCS-89-83, Edinburgh (1989).
4. J. Godskesen, K. G. Larsen, M. Zeeberg, TAV Users Manual, Ålborg University (1989).
5. S. Graf, J. Sifakis, A Logic for the Description of Non-deterministic Programs and their Properties, Information and Control 68 (1986) 254–270.