DOI,IST REx ID,Title of publication
null,4416,Symbolic algorithms for verification and control