NuSMV-PO/examples/pci
