Alexander Pretschner Heiko Lötzbeyer Jan Philipps Model based testing in incremental system development. 315-329 2004 70 Journal of Systems and Software 3 http://dx.doi.org/10.1016/S0164-1212(03)00076-1 db/journals/jss/jss70.html#PretschnerLP04