Simon Dobson Eoin Bailey Stephen Knox Ross Shannon Aaron J. Quigley A first approach to the closed-form specification and analysis of an autonomic control system. 229-237 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.6 db/conf/iceccs/iceccs2007.html#DobsonBKSQ07