K.: Safety analysis of sugar cataract development using stochastic hybrid systems (2007)

by D Riley, X Koutsoukos, Riley
Venue:In: Hybrid Systems Computation and Control. Volume LNCS