1. Component-oriented verification of noninterference;Aldini;Journal of Systems Architecture - Embedded Systems Design,2011
2. Partial model checking (extended abstract);Andersen,1995
3. T. Andrews, F. Curbera, H. Dholakiam, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana, Business process execution language for web services, version 1.1. specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems, 2003.
4. Selective mu-calculus and formula-based abstractions of transition systems;Barbuti;Journal of Computer and System Sciences,1999
5. Introduction to ISO specification language LOTOS;Bolognesi;Computer Networks and ISDN Systems,1987