@conference {12838,
	title = {Model based verification and validation of distributed control architectures},
	booktitle = {Proceedings of Convergence Convergence International Congress and Exposition on Transportation Electronics, Detroit, USA},
	year = {2006},
	month = {2006///},
	author = {Ray,A. and Cleaveland, Rance and Jiang,S. and Fuhrman,T.}
}
