Barry Long, Jürgen Dingel, T. C. Nicholas Graham. Experience applying the SPIN model checker to an industrial telecommunications system. In Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. pages 693-702, ACM, 2008. [doi]
Abstract is missing.