Said, WasimQuante, Jochen2017-09-262017-09-262017https://dl.gi.de/handle/20.500.12116/4676enTowards Interactive Model Mining From Embedded Software0720-8928