Relating bisimulations with attractors in boolean network models - Figueiredo, Daniel (2016)