@inproceedings{rtas-wip06,

author = {Minyoung Kim and

Nikil Dutt and

Nalini Venkatasubramanian},

title = {Policy Construction and Validation for Energy Minimization in Cross Layered Systems: A Formal Method Approach.},

booktitle = {12th IEEE Real-Time and Embedded Technology and Applications

Symposium (RTAS 2006) Work-in-Progress Session, 4-7 April 2006, San Jose, CA,

USA},

pages = {25--28},

year = {2006},

}