@article {12775,
	title = {Secure requirements elicitation through triggered message sequence charts},
	journal = {Distributed Computing and Internet Technology},
	year = {2005},
	month = {2005///},
	pages = {273 - 282},
	author = {Ray,A. and Sengupta,B. and Cleaveland, Rance}
}
