SpecCharts: a VHDL front-end for embedded systems. - Vahid, Frank; Narayan, Sanjiv; Gajski, Daniel D. (IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 1995)