Detection of dynamic execution errors in IBM system automation's rule-based expert system. - Sinz, Carsten; Lumpp, Thomas; Schneider, Jürgen M.; Küchlin, Wolfgang (Inf. Softw. Technol., 2002)