Antti Jääskeläinen Mika Katara Antti Kervinen Henri Heiskanen Mika Maunumaa Tuula Pääkkönen Model-Based Testing Service on the Web. 38-53 2008 TestCom/FATES http://dx.doi.org/10.1007/978-3-540-68524-1_5 conf/pts/2008 db/conf/pts/testcom2008.html#JaaskelainenKKHMP08