Simplifying Runtime Verification of Distributed Programs door Eslam Al Maghayreh