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