Kahsai, et al.. Jayhorn: A Java Model Checker. Springer New York, 2019, doi:10.1007/978-3-030-17502-3_16.