ENOSYS FP7 EU project: An integrated modeling and synthesis flow for embedded systems design | IEEE Conference Publication | IEEE Xplore