Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation. - Jessica Petrasch; Jan-Hendrik Oepen; Sebastian Krings; Moritz Gericke (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)