Grzanek, 2016. Low-Cost Dynamic Constraint Checking for the JVM.. https://doi.org/10.1515/jacsm-2016-0008