Software-Enabled Control: Information Technology for Dynamical Systems - Samad (IEEE, 2003)