Analýza, syntéza a diagnostika logických a riadiacich systémov - Bača, Ján (Equilibria, 2012)