NuSMV-PO/examples/guidance
