1. Probert R, Mansurov N. Improving time-to-market using SDL tools and techniques (tutorial). Proceedings of the Ninth SDL Forum, Montreal, Canada, June 21–26, 1999.
2. Holzmann G. Formal methods for early fault detection. Invited Paper in Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala, Sweden, September 1996.
3. Mansurov N, Zhukov D. Automatic synthesis of SDL models in use case methodology. In: Dssouli, RV. Bochmann, G, Lahav, Y, editors. Proceedings of the Ninth SDL Forum, Montreal, Canada, June 21–26. North-Holland: Elsevier Science Publishers, 1999. pp. 225–240.
4. Holzmann G, Smith MH. A practical method for the verification of event-driven software. Proceedings of the ICSE’99, Los Angeles, CA, USA, May 1999. p. 597–607.
5. Mansurov N, Probert R. Dynamic scenario-based approach to re-engineering of legacy telecommunication software. In: Dssouli, RV. Bochmann, G, Lahav, Y, editors. Proceedings of the 9th SDL Forum, Montreal, Canada, June 21–26. North-Holland: Elsevier Science Publishers, 1999.