A mathematical model of metabolic insulin signaling pathways. Translation of an ODE model into BlenX Language