Kemper, VolkerTepper, Carsten2007-06-132007-06-132006-06-231612-1376http://hdl.handle.net/2003/24372http://dx.doi.org/10.17877/DE290R-8119en620Trace analysis - gain insight through modelchecking and cycle reductionText