NuSMV-PO/examples/deadlock
