NuSMV-PO/examples/production-cell
