"Automated Testing in Practice: The Highway Tolling System."

René G. de Vries, Axel Belinfante, Jan Feenstra (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics