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