DOI,IST REx ID,Title of publication
10.1145/503209.503226,4622,Interface automata