Solving Fault Diagnosis Problems Linear Synthesis Techniques with Julia Code Examples - Varga, Andreas (Springer International Publishing, 2023)