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