Efficient Formalism-Independent Monitoring of Parametric Properties | IEEE Conference Publication | IEEE Xplore