https://123dok.net/document/yng7o6vp-formalization-automated-reasoning-complex-signalling-network.html