Vitalsource Technologies, Inc. Mathematical Foundation Of Railroad Vehicle Systems