1994 · 15 citations · 8 references
ArtsDesignDesign OptimizationDesign ProcessDesign ResearchTest Case Generation
8
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations
The Verilog hardware description language
Choice Reviews Online · 1991 · 504 citations