id: 70781052 dt: a an: 70781052 au: Mitra, Sayan; Lynch, Nancy A.; Liberzon, Daniel ti: Verifying average Dwell time by solving optimization problems so: HSCC, 476-490 (2006). py: 2006 pu: la: EN cc: ut: ci: li: doi:10.1007/11730637_36