Berezkin, A. and Filippov, A. 2010. Hardware tests generation methodology based on UML specifications. Information and Control Systems. 5 (Oct. 2010), 24-30.