Title: Developing semantics of Verilog HDL in formal compositional design of mixed hardware / software systems
First published: 2002