@inproceedings{LSK+15,
title = { Using {BIP} to reinforce correctness of resource-constrained IoT applications },
author = {Lekidis, Alexios and Stachtiari, Emmanouela and Katsaros, Panagiotis and Bozga, Marius and Georgiadis, Christos K.},
year = {2015},
booktitle = {10th {IEEE} International Symposium on Industrial Embedded Systems, {SIES} 2015, Siegen, Germany, June 8-10, 2015},
pages = {245--253},
publisher = {{IEEE}},
team = {DCS, RSD},
}
