Zaslat záznam emailem: Computational Modeling, Formal Analysis, and Tools for Systems Biology