Jane Hillston, Michele Loreti. Specification and Analysis of Open-Ended Systems with CARMA. In Danny Weyns, Fabien Michel, editors, Agent Environments for Multi-Agent Systems IV - 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers. Volume 9068 of Lecture Notes in Computer Science, pages 95-116, Springer, 2014. [doi]