DOI,IST REx ID,Title of publication
10.1007/978-3-540-69738-1_27,4572,Invariant synthesis for combined theories