ASET: A Formal Model for System Emulation and Verification.

Published in: IEEE International Workshop on Rapid System Prototyping (2004)