Connecting process algebras and differential equations for Systems Biology