Comparison of Model Checking Tools for Information Systems. - Marc Frappier; Benoît Fraikin; Romain Chossart; Raphaël Chane-Yack-Fa; Mohammed Ouenzar (ICFEM, 2010)