Stephan Schulz Jukka Honkola Antti Huima Towards Model-Based Testing with Architecture Models. 495-502 2007 ECBS http://dx.doi.org/10.1109/ECBS.2007.73 conf/ecbs/2007 db/conf/ecbs/ecbs2007.html#SchulzHH07