@article {12794,
	title = {Executable requirements specifications using triggered message sequence charts},
	journal = {Distributed Computing and Internet Technology},
	year = {2005},
	month = {2005///},
	pages = {482 - 493},
	author = {Sengupta,B. and Cleaveland, Rance}
}
