@INPROCEEDINGS{GPM-INDIN14,
author={M. Garc\'{i}a-Valls and D. Perez-Palacin and R. Mirandola},
booktitle={2014 12th IEEE International Conference on Industrial Informatics (INDIN)},
title={Extending the verification capabilities of middleware for reliable distributed self-adaptive systems},
year={2014},
pages={164-169},
doi={10.1109/INDIN.2014.6945502},
ISSN={1935-4576},
month={July},}