Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework