Yuhong Zhao Martin Kardos Simon Oberthür Franz J. Rammig Comprehensive Verification Framework for Dependability of Self-optimizing Systems. 39-53 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_6 db/conf/atva/atva2005.html#ZhaoKOR05