Grégory Duval Thierry Cattel Developing Safe Concurrent and Distributed Applications with an Architectural Environment. 20-32 1999 conf/tools/29-1999 TOOLS (29) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.778996 db/conf/tools/tools29-1999.html#DuvalC99