Kemper, VolkerTepper, Carsten2007-06-132007-06-132006-06-231612-1376http://hdl.handle.net/2003/2437210.17877/DE290R-8119enSFB 559Technical Report;06007620Trace analysis - gain insight through modelchecking and cycle reductionreport