Alexander Pretschner Oscar Slotosch Ernst Aiglstorfer Stefan Kriebel Model-based testing for real. 140-157 2004 5 STTT 2-3 http://www.springerlink.com/index/10.1007/s10009-003-0128-3 db/journals/sttt/sttt5.html#PretschnerSAK04