User-defined application-specific monitors for dynamic systems | IEEE Conference Publication | IEEE Xplore