Belinfante, Feenstra, Vries, Tretmans, Goga, Feijs, Mauw, Heerink, 1999. Formal Test Automation: A Simple Experiment, in: . Springer US.. https://doi.org/10.1007/978-0-387-35567-2_12