1. Lecture Notes in Computer Science;J.-R. Abrial,2003
2. Abrial, J.-R.: Event driven distributed program construction. Version 6 (August 2004)
3. Abrial, J.-R.: On constructing large computerized systems (a position paper). In: Proc. VSTTE, ETH Zürich (October 2005)
4. Anlauff, M., Kutter, P.: Xasm Open Source (2001), http://www.xasm.org/
5. Betarte, G., Gimenez, E., Loiseaux, C., Chetali, B.: Formavie: Formal modelling and verification of the java card 2.1.1 security architecture. In: Proc. eSmart (2002)