Brinksma, E.2022-03-022022-03-021998https://publica.fraunhofer.de/handle/publica/134809Test automation for reactive systems. Theory and practice