A framework for comparing models of computation (1998)

by E A Lee, A Sangiovanni-Vincentelli
Venue:IEEE Trans. Computer-Aided Design Integr. Circuits Syst