NuSMV-PO/examples/smv-dist
