NuSMV-PO/examples/prod-cons
