_id,doi,title
4477,10.1007/3-540-45351-2_24,Assume-guarantee reasoning for hierarchical hybrid systems