Expert system reasoning about dynamic systems by semi-quantitative simulation - Widman, LE (Comput Methods Programs Biomed, 1989)