BibTex format
@inproceedings{Leahy:2018:10.1145/3137133,
author = {Leahy, F and Dulay, N},
doi = {10.1145/3137133},
pages = {1--2},
publisher = {ACM},
title = {DejaVu: visual diffing of cyber-physical systems},
url = {http://dx.doi.org/10.1145/3137133},
year = {2018}
}