Towards Model-Driven Testing - Heckel, Reiko; Lohmann, Marc (Proceedings of the workshop on Test and Analysis of Component Based Systems (TACoS 2003, satellite event of the ETAPS 2003), Warsaw (Poland))