Mohamed Larbi Rebaiaia Jihad Mohamad Jaam VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems. 2004 conf/ipps/2004 IPDPS http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/15/2132150244aabs.htm db/conf/ipps/ipdps2004-w14.html#RebaiaiaJ04