_id,doi,title
4486,10.1007/3-540-49519-3_27,An assume-guarantee rule for checking simulation