DOI,IST REx ID,Title of publication
10.1007/3-540-61474-5,4585, 8th International Conference on Computer Aided Verification