Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierarchical Systems Insup Lee PRECISE Center Department of Computer.
Insup Lee PRECISE Center Department of Computer and Information Science University of Pennsylvania