Interactive Model Mining from Embedded Legacy Software | IEEE Conference Publication | IEEE Xplore