Perturbation Analysis: A Static Analysis Approach for the Non-Intrusive Monitoring of Distributed Programs | IEEE Conference Publication | IEEE Xplore