Alexander Pretschner Heiko Lötzbeyer Jan Philipps Model Based Testing in Evolutionary Software Development. 155-161 2001 conf/rsp/2001 IEEE International Workshop on Rapid System Prototyping http://csdl.computer.org/comp/proceedings/rsp/2001/1206/00/12060155abs.htm db/conf/rsp/rsp2001.html#PretschnerLP01