Schulze, C., & Cleaveland, R. (2017). Improving Invariant Mining via Static Analysis. Acm Trans. Embed. Comput. Syst., 16, 167:1–167:20. https://doi.org/10.1145/3126504
