NuSMV-PO/examples/example_cmu
