Mario Kolberg Richard O. Sinnott Evan H. Magill Experiences modelling and using formal object-oriented telecommunication service frameworks. 2577-2592 1999 31 Computer Networks 23-24 db/journals/cn/cn31.html#KolbergSM99 http://dx.doi.org/10.1016/S1389-1286(99)00121-8