Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.”10.1145/2220365.2220366__ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.