Conformance Checking using Formal Methods.