Vitalsource Technologies, Inc. Industrial Applications Of Formal Methods To Model, Design And Analyze