Minyoung Kim Mark-Oliver Stehr Carolyn L. Talcott Nikil Dutt Nalini Venkatasubramanian Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. 646-651 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484750 conf/date/2008 db/conf/date/date2008.html#KimSTDV08