Correct hardware design and verification methods / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Advances in design methods from modeling languages for embedded systems and soc’s : selected contributions on specification, design, and verification from FDL 2009 / ed. D. Borrione, 2010 r=on-line. - Текст : электронный.