Berezkin, A. and Filippov, A. 2011. UML specification synthesis methodology for data flow testing in hardware. Information and Control Systems. 5 (Oct. 2011), 47-52.