https://5dok.net/document/7qv2x7gz-using-graph-transformations-graph-abstractions-software-verification.html