A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems.

Satoshi Yamane A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. 151-167 1998 conf/fm/1998 FM-Trends db/conf/fm/fm1998.html#Yamane98 http://dx.doi.org/10.1007/3-540-48257-1_9