Groz, R.2022-03-022022-03-022010978-1-60558-823-0978-1-4503-0147-3https://publica.fraunhofer.de/handle/publica/150305MIIT 2010, First International Workshop on Model Inference In Testing. Proceedings