Modelling, analysis and verification of the biological coherent feedforward loop network