DOI,IST REx ID,Title of publication
10.1145/509705.509707,4473,An assume-guarantee rule for checking simulation