Vitalsource Technologies, Inc. Formal Methods For Industrial Critical Systems: A Survey Of Application