https://123dok.org/document/4zpnm47y-static-analysis-for-systems-biology.html