A state machine approach for problem detection in large-scale distributed systemKewei SunJie Qiuet al.2008NOMS 2008