Robert A. Riemenschneider Hassen Saïdi Bruno Dutertre Using Model Checking to Assess the Dependability of Agent-Based Systems. 62-70 2004 19 IEEE Intelligent Systems 5 http://doi.ieeecomputersociety.org/10.1109/MIS.2004.54 db/journals/expert/expert19.html#RiemenschneiderSD04