An integrated method for effective behaviour analysis of distributed systems | IEEE Conference Publication | IEEE Xplore