NuSMV-PO/examples/bmc_tutorial
