Lieven Desmet Nico Janssens Sam Michiels Frank Piessens Wouter Joosen Pierre Verbaeten Towards preserving correctness in self-managed software systems. 34-38 2004 conf/woss/2004 WOSS http://doi.acm.org/10.1145/1075405.1075412 db/conf/woss/woss2004.html#DesmetJMPJV04