Simplifying Runtime Verification of Distributed Programs by Eslam Al Maghayreh