Software-enabled control : information technology for dynamical systems - Samad, Tariq (IEEE, 2003)