_id,doi,title
2886,10.1007/978-3-642-36046-6_12,Controllable-choice message sequence graphs