Markov Model Checking of Probabilistic Boolean Network Representations of Genes”. In: 2011 International Conference on Bioinformatics and Computational Biology. Vol. 1, pp. 63–67. Abstract