A hybrid approach to reliability estimation of mobile agent-based systems | IEEE Conference Publication | IEEE Xplore