BibTex format
@article{Letier:2008:10.1007/s10515-008-0027-7,
author = {Letier, E and Kramer, J and Magee, J and Uchitel, S},
doi = {10.1007/s10515-008-0027-7},
journal = {AUTOMATED SOFTWARE ENGINEERING},
pages = {175--206},
title = {Deriving event-based transition systems from goal-oriented requirements models},
url = {http://dx.doi.org/10.1007/s10515-008-0027-7},
volume = {15},
year = {2008}
}