Peter Kemper Carsten Tepper Automated Trace Analysis of Discrete-Event System Models. 195-208 2009 35 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2008.75 db/journals/tse/tse35.html#KemperT09