https://9dok.org/document/q7wxd52k-ákoshajdu-effectivedomain-specificformalverificationtechniques.html