@InProceedings{SHJ17,
author={Umair Siddique and Khaza Anuarul Hoque and Taylor T. Johnson},
title={Formal Specification and Dependability Analysis of Optical Communication Networks},
booktitle={Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE'17)},
year={2017},

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