_id,doi,title
2836,10.1007/s00165-013-0283-6,Assume-guarantee synthesis for digital contract signing