_id,title
4566,A framework for compositional design and analysis of systems