_id,doi,title
2167,10.1109/ICST.2014.50,Compositional specifications for IOCO testing