DOI,IST REx ID,Title of publication
null,4566,A framework for compositional design and analysis of systems