1. M. Berry, Proving properties of the lift system. Master's Thesis, School of Computer Science, University of Birmingham, 1996.
2. L.G. Bouma, H. Velthuijsen (Eds.), Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, The Netherlands, May 1994.
3. K.E. Cheng, T. Ohta (Eds.), Feature Interactions in Telecommunications III, IOS Press, Tokyo, Japan, October 1995.
4. A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri. NuSMV: a reimplementation of SMV, in: B. Steffen, T. Margaria (Eds.), Proc. Internat. Workshop on Software Tools for Technology Transfer (STTT-98), BRICS Notes Series, Aalborg, 1998, pp. 25–31, Available from http://afrodite.itc.it:1024/ ̃cimatti/.