1. LATA Switching Systems Generic Requirements (LSSGR), FR-NWT-000064, 1992 Edition. Feature requirements, including: SPCS Capabilities and Features, SR-504, Issue 1, March 1996. Telcordia/Bellcore.
2. Dwyer, M.B., Avrunin, G.S., Corbett, J.C., Property Specification Patterns for Finite-state Verification, Proc. 2nd Workshop on Formal Methods in Software Practice, March 1998, Ft. Lauderdale, Fl. USA, ACM Press.
3. Holzmann, G.J., The model checker SPIN, IEEE Trans. on Software Engineering, May 1997, Vol 23, No. 5, pp. 279–295.
4. Holzmann, G.J., Designing executable abstractions, Proc. Formal Methods in Software Practice, March 1998, Ft. Lauderdale, Fl., USA, ACM Press.
5. Holzmann, G.J., and Smith, M.H, A practical method for the verification of event driven systems, Proc. Int. Conf. on Software Engineering, ICSE99, Los Angeles, May 1999.