JavaMOP: Efficient parametric runtime monitoring framework | IEEE Conference Publication | IEEE Xplore