Berezkin, A.; Filippov, A. Hardware Tests Generation Methodology Based on UML Specifications. ICS 2010, 24-30.