Software-enabled control : (IEEE Press,Wiley-Interscience, 2003)