BibTex format
@inproceedings{Ciolek:2016:10.1109/CDC.2016.7798996,
author = {Ciolek, D and Braberman, V and D'Ippolito, N and Uchitel, S},
doi = {10.1109/CDC.2016.7798996},
pages = {4764--4769},
publisher = {IEEE},
title = {Directed Controller Synthesis of discrete event systems: Taming composition with heuristics},
url = {http://dx.doi.org/10.1109/CDC.2016.7798996},
year = {2016}
}