BibTex format
@article{Sibay:2013:10.1109/TSE.2012.62,
author = {Sibay, G and Braberman, V and Uchitel, S and Kramer, J},
doi = {10.1109/TSE.2012.62},
journal = {IEEE Transactions on Software Engineering},
title = {Synthesising Modal Transition Systems from Triggered Scenarios},
url = {http://dx.doi.org/10.1109/TSE.2012.62},
year = {2013}
}