Applications of Automated Model Based Testing with TorX Ed Brinksma Course 2004.
Equivalences on Labelled Transition Systems Ed Brinksma Course 2004.