Toward automating analysis support for developers of distributed software | IEEE Conference Publication | IEEE Xplore