DOI,IST REx ID,Title of publication
10.1007/3-540-49519-3_27,4486,An assume-guarantee rule for checking simulation