DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:TH_730,1155,ToHe,Statistical and logical methods for property checking