Toward integration of formalisms for system biology: The gene regulatory network case.