DOI,IST REx ID,Research Group,Title of publication
10.1109/ICST.2014.50,2167,ToHe,Compositional specifications for IOCO testing