Petrenko, A.2022-03-022022-03-0220073-540-73065-6978-3-540-73065-1https://publica.fraunhofer.de/handle/publica/145199Testing of software and communicating systems. 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007