Traynard P, Fauré A, Fages F, Thieffry D.  2016.  Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. Bioinformatics. 32:i772-i780.