Formal Modeling in Systems Biology. An approach from Theoretical Computer Science