@InProceedings{DKKM14,
author={M. Diciolla and C. H. P. Kim and M. Kwiatkowska and A. Mereacre},
title={Synthesising Optimal Timing Delays for Timed I/O Automata},
booktitle={Proc. 14th International Conference on Embedded Software (EMSOFT'14)},
year={2014},

editor={},
pages={},
organization={},
publisher={ACM},
series={},
volume={},
address={},
month={},
note={},
key={}
}