1. [Balagurin etal 2016b] Balagurin, O., Kayal, H., Schartel, A. An Optimized Development Process For SmallStarSensorSystems.InProc.SmallSatellites,System&ServicesSymposium(4S).2016.
2. [Hayden etal 2004] Hayden, S.C., Sweet, A.J. & Christa, S.E. Livingstone Model-Based Diagnosis of EarthObservingOneInfusionExperiment.InProc.AIAAIntelligentSystems.2004.
3. Diagnosing multiple faults
4. [Montenegro & Dannemann 2009] Montenegro, S. and Dannemann, F. RODOS - Real Time Kernel DesignforDependability.InProc.DASIAConference2009.