@conference {12839,
	title = {TRIM: A tool for triggered message sequence charts},
	booktitle = {Computer Aided Verification},
	year = {2003},
	month = {2003///},
	pages = {106 - 109},
	author = {Sengupta,B. and Cleaveland, Rance}
}
