Experience applying the SPIN model checker to an industrial telecommunications system. - Barry Long; Jürgen Dingel; T. C. Nicholas Graham (ICSE, 2008)