Julie Vachon and Nicolas Guelfi. Coala: a design language for reliable distributed system engineering. In Proceedings of the Workshop on Software Engineering and Petri Nets, Dep. Of Computer Science, University of Aarhus, Denmark, June 2000. 135–154, DAIMI. Download