Marius Bozga Susanne Graf Laurent Mounier Automated Validation of Distributed Software Using the IF Environment. 268-275 2001 conf/nca/2001 NCA http://doi.ieeecomputersociety.org/10.1109/NCA.2001.962542 db/conf/nca/nca2001.html#BozgaGM01