NuSMV-PO/src/ltl/ltl2smv
