1. Berezkin A., Filippov A. UML specification synthesis methodology for data flow testing in hardware // Information and Control Systems. 2011. № 5. C. 47-52.