Model Based Testing of System Requirements using UML Use Case Models. - Bill Hasling; Helmut Goetz; Klaus Beetz (ICST, 2008)