_id,doi,title
4473,10.1145/509705.509707,An assume-guarantee rule for checking simulation