A framework for comparing models of computation,” (1998)

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