The content of this repository  belongs to TU Graz IST. Please refer to http://www.ros.org/wiki/tug_ist_model_based_diagnosis.