DOI,IST REx ID,Title of publication
null,4414,Games in open systems verification and synthesis