J. Petrasch, J.-H. Oepen, S. Krings, and M. Gericke, “Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation”, eceasst, vol. 76, May 2019.