Specification model and language HSL for digital systemsFrištacky, Norbert; Kacerik, JozefBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 133-136