Ferhat Khendek Tong Zheng Modeling and analysis of value added services using message sequence charts. 338-356 2008 31 J. Network and Computer Applications 3 http://dx.doi.org/10.1016/j.jnca.2006.08.001 db/journals/jnca/jnca31.html#KhendekZ08