Toward Verified Biological Models. - Avital Sadot; Jasmin Fisher; Dan Barak; Yishai Admanit; Michael J. Stern; E. Jane Albert Hubbard; David Harel (IEEE ACM Trans. Comput. Biol. Bioinform., 2008)