NuSMV-PO/examples/busprotocol
