1. The formalization and analysis of a communications protocol;Bruns;Formal Aspects of Computing,1994
2. Cervesato, I.: Towards a Notion of Quantitative Security Analysis. In: D. Gollmann, F. Massacci, A. Yautsiukhin (eds.) Quality of Protection: Security Measurements and Metrics — QoP’05, pp. 131-144. Springer-Verlag Advances in Information Security 23 (2006).
3. Dryburgh, L., Hewitt, J.: Signaling System No. 7 (SS7/C7): Protocol, Architecture, and Services. Cisco Press (2004).
4. Cooperation of model checking and network simulation of cost analyses of distributed systems;Ikeda;International Journal of Computers and Applications,2011
5. Verification of the capability exchange signaling protocol;Liu;International Journal on Software Tools for Technology Transfer,2007