NuSMV-PO/examples/msi
