INRIA, Centre Sophia Antipolis 2004 route des Lucioles B.P. 93 F-06902 Sophia Antipolis, FRANCE
see the VERCORS pages: "VERification of models for distributed communicating COmponants, with safety and Security"