Mika Katara Antti Kervinen Mika Maunumaa Tuula Pääkkönen Mikko Satama Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach. 81-89 2006 conf/taicpart/2006 TAIC PART http://doi.ieeecomputersociety.org/10.1109/TAIC-PART.2006.34 db/conf/taicpart/taicpart2006.html#KataraKMPS06