Latest news from the project are shown below.
The paper "Mandatory and Potential Choice: Comparing Event-B and STAIRS" by Atle Refsdal, Ragnhild Kobro Runde and Ketil Stølen will appear in the book "From Action Systems to Distributed Systems - The Refinement Approach". Edited by Luigia Petre and Emil Sekerinski, the book is due out in May 2016.
The UML language lies at the foundation of the CONCERTO approach. The paper investigates questions concerning semantics and refinement of UML sequence diagrams, in particular issues related to the representation of choice.