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