Solving fault diagnosis problems linear synthesis techniques - Varga, Andreas (Springer, 2017)