Al-Bataineh, Reynolds, 2018. Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology.