Dongyun Jin: Making runtime monitoring of parametric properties practical. University of Illinois Urbana-Champaign, USA 2012