SDT TRAPChecker - Precise Reliability Services