%0 Journal Article %T Computational Modeling, Formal Analysis, and Tools for Systems Biology %J PLoS Computational Biology %V 12 %N 1 %@ 1553-734X %D 2016-01-21 %I Public Library of Science %~ DeepDyve