NuSMV-PO/examples/abp
