Email Record: Vehicle modeling and verification of CNG-powered transit buses /