A state machine approach for problem detection in large-scale distributed system | IEEE Conference Publication | IEEE Xplore