%0 Conference Paper %B Proceedings of Convergence Convergence International Congress and Exposition on Transportation Electronics, Detroit, USA %D 2006 %T Model based verification and validation of distributed control architectures %A Ray,A. %A Cleaveland, Rance %A Jiang,S. %A Fuhrman,T. %B Proceedings of Convergence Convergence International Congress and Exposition on Transportation Electronics, Detroit, USA %8 2006/// %G eng