A Framework for Comparing Models of Computation (1998)

by Edward A. Lee, Alberto Sangiovanni-vincentelli
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems