Formal Tropos People
	The people currently involved in the Formal Tropos project are:
		Ariel Fuxman (afuxman@cs.toronto.edu)
		Raman Kazhamiakin (raman@dit.unitn.it)
		Lin Liu (liu@cs.toronto.edu)
		John Mylopoulos (jm@cs.toronto.edu)
		Marco Pistore (pistore@dit.unitn.it)
		Marco Roveri (roveri@irst.itc.it)
		Paolo Traverso (traverso@irst.itc.it)
	To get in touch with the people currently involved in the development of the Formal Tropos tool T-Tool, please send an e-mail to t-tool@irst.itc.it.