Vitalsource Technologies, Inc. Formal Methods Applied To Industrial Complex Systems