A Generic Approach To Behaviour-Driven Biochemical Model Construction