jakub_martin/model-checking-ctl-ltl archive