BibTex format
@article{Uchitel:2005,
author = {Uchitel, S and Chatley, RB and Kramer, J and Magee, JN},
journal = {Requirements Engineering Journal},
title = {Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation},
url = {http://pubs.doc.ic.ac.uk/fluent-based-animation},
volume = {10},
year = {2005}
}