An Improved Electronic Design Automation Methodology for modelling Leukocyte Integrin Activation