NuSMV-PO/examples/brp
