BibTex Format for Publications
@article { GriGre2018b,
author = {Daniel Gritzner and Joel Greenyer},
title = {Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications},
journal = {Procedia Manufacturing},
year = {2018},
url = {http://www.sciencedirect.com/science/article/pii/S2351978918305651},
issn = {2351-9789},
doi = {https://doi.org/10.1016/j.promfg.2018.06.046},
volume = {24},
pages = {153-158}
}