The Reliable Event Logging Protocol library