https://123dok.net/document/zpn7mgry-formal-verification-of-plastic-user-interfaces-exploiting-domain-ontologies.html