DOI,IST REx ID,Title of publication
10.1007/3-540-45351-2_24,4477,Assume-guarantee reasoning for hierarchical hybrid systems