Performance modelling of a fault-tolerant agent-driven system | IEEE Conference Publication | IEEE Xplore