2008
Experience applying the SPIN model checker to an industrial telecommunications system.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008