Ferenc Bujtor, Walter Vogler: Error-Pruning in Interface Automata. SOFSEM 2014: 162-173