Poster: Synthesis of biochemical models