Model-Based Testing in Practice. - Mark R. Blackburn; Robert Busser; Aaron Nauman; Travis R. Morgan (GI Jahrestagung (2), 2006)