https://1library.org/document/zk3j1j4y-relating-bisimulations-with-attractors-in-boolean-network-models.html