NuSMV-PO/examples/p-queue
