https://123dok.net/document/q5m34xry-a-user-oriented-approach-to-integrate-formal-verification-activity-for-dsml.html