RGMIA digitization. CAVAL 2011. Formulas cannot be expressed correctly . Abstract removed  Lyn 27/9/12. Permission granted, in perpetuity, RGMIA version. liz 7/9/12