Applying Model-Based Testing in the Telecommunication Domain. - Fredrik Abbors; Veli-Matti Aho; Jani Koivulainen; Risto Teittinen; Dragos Truscan (Model-Based Testing for Embedded Systems, 2011)