BibTex format
@article{Alrajeh:2010:10.1007/s00165-009-0128-5,
author = {Alrajeh, D and Kramer, J and Russo, A and Uchitel, S},
doi = {10.1007/s00165-009-0128-5},
journal = {FORMAL ASPECTS OF COMPUTING},
pages = {217--241},
title = {Deriving non-Zeno behaviour models from goal models using ILP},
url = {http://dx.doi.org/10.1007/s00165-009-0128-5},
volume = {22},
year = {2010}
}