Ibrahim2008 MCC assembly model KDM Model MML View MML External URL BIOMD0000000193 Model types Biomodels