A model driven development approach for implementing reactive systems in hardware | IEEE Conference Publication | IEEE Xplore