BibTex format
@inproceedings{Leahy:2017:10.1145/3137133.3141443,
author = {Leahy, F and Dulay, N},
doi = {10.1145/3137133.3141443},
title = {Poster abstract: DejaVu - visual diffing of cyber physical systems},
url = {http://dx.doi.org/10.1145/3137133.3141443},
year = {2017}
}