@INPROCEEDINGS{GPM-COMPSAC14,
author={M. Garc\'{i}a-Valls and D. Perez-Palacin and R. Mirandola},
booktitle={2014 IEEE 38th Annual Computer Software and Applications Conference},
title={Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification},
year={2014},
pages={332-337},
doi={10.1109/COMPSAC.2014.55},
month={July},}