1. CPN-AMI http://move.lip6.fr/software/CPNAMI/index.html 2011
2. Labelled transition logic: an outline;ASTESIANO;Acta Inf,2001
3. CASL: the common algebraic specification language;ASTESIANO;Theoretical Comput. Sci,2002
4. Systems and Software Verification