Model Checking PBFT Consensus Mechanism in Healthcare Blockchain Network | Synapse