Epub Solving Fault Diagnosis Problems: Linear Synthesis Techniques 2017