DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-36046-6_12,2886,KrCh,Controllable-choice message sequence graphs