Grieskamp, W.2022-03-022022-03-0220063-540-34454-3978-3-540-34454-4https://publica.fraunhofer.de/handle/publica/144530Formal approaches to software testing. 5th international workshop, FATES 2005