Selected Publications (under development)

Material presented here to ensure timely dissemination for academic purposes
  • Calibration and path dynamics for advanced traffic information systems, suto be published in Transport Resarch Records, US nationcal academy of engineering, 2001
  • System Engineering : A discipline for unifying engineering education, INCOSE INSIGHT Journal, april 1999
  • Statecharts to specify control of automated manufacturing systems, International journal of production research, 1998
  • Automata timing specification, lecture notes in information sciences, No.199, Springer Verlag, 1994
  • An experience with a multiformalism specification of an avionics systems, Incose congress, 1998 previous version in IEEE Aeronautics