@ARTICLE{jp2004004,
	author = "L. McCluskey and J. Porteous and Y. Naik and C. Taylor and S. Jones",
	title = "A requirements capture method and its use in an air traffic control application",
	journal = "The Journal of Software Practice and Experience",
	year = "1995",
	volume = "25",
	number = "1",
	month = "January",
	url = "http://www3.interscience.wiley.com/cgi-bin/jhome/1752",
}