Simultaneous regions: a framework for the consistent monitoring of distributed systems | IEEE Conference Publication | IEEE Xplore