Set-Theoretic Methods in Control by Franco Blanchini & Stefano Miani