NuSMV-PO/examples/queue
