This directory contains files for Technical Report CSRI-385. The files in this directory are the following: 1) README (< 1 KB - the ASCII file you are now reading) 2) TR-385.ps (362 KB - PostScript) 3) TR-385.ps.gz (116 KB - PostScript compressed with the program "gzip") If you have the UNIX "gunzip" program, get the file TR-385.ps.gz. Remember to transfer the file in binary mode. After the transfer, "gunzip" the file. If you do not have the UNIX "gunzip" program, get the file TR-385.ps in ASCII mode. After transfering the file, print it on a PostScript printer. If you have any questions or comments about this technical report, please contact chechik@cs.toronto.edu TITLE: Formal Modeling in a Commercial Setting: A Case Study AUTHORS: Andre Wong and Marsha Chechik ABSTRACT: This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques to telecommunication systems. A formal description language, SDL, was chosen by our qualitative CASE tool evaluation to model a multimedia-messaging system described by an 80-page natural language specification. Our model was used to identify errors in the software requirements document and to derive test suites, shadowing the existing development process and keeping track of a variety of productivity data.