BibTex format
@inproceedings{Nahabedian:2016:10.1145/2897053.2897056,
author = {Nahabedian, L and Braberman, V and D'Ippolito, N and Honiden, S and Kramer, J and Tei, K and Uchitel, S},
doi = {10.1145/2897053.2897056},
pages = {96--107},
publisher = {ACM},
title = {Assured and correct dynamic update of controllers},
url = {http://dx.doi.org/10.1145/2897053.2897056},
year = {2016}
}