NuSMV-PO/src/ltl
