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