Petrasch, Jessica, Jan-Hendrik Oepen, Sebastian Krings, and Moritz Gericke. 2019. “Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation”. Electronic Communications of the EASST 76 (May). https://doi.org/10.14279/tuj.eceasst.76.1074.