"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. - Gustavo Arellano; Julián Argil; Eugenio Azpeitia; Mariana Benítez; Miguel Carrillo; Pedro Arturo Góngora; David A. Rosenblueth; Elena R. Álvarez-Buylla (BMC Bioinform., 2011)