VERIFICATION OF PAYMENT PROTOCOLS VIA MULTIAGENT MODEL CHECKING