This software was mainly implemented within the Causal Explanation for Model-based Diagnoses of Dynamic System project, which was funded by EPSRC with support from IAL
The demonstration software requires Allegro lisp 5.0, available here, and Garnet, available here. To run the demo system, please follow the included instructions.
Here are some example screen shots: