Emre Kycyman Yi-Min Wang Discovering Correctness Constraints for Self-Management of System Configuration. 28-35 2004 conf/icac/2004 ICAC http://csdl.computer.org/comp/proceedings/icac/2004/2114/00/21140028abs.htm db/conf/icac/icac2004.html#KycymanW04