Ongoing challenges in automated cyberphysical cross-domain design | IEEE Conference Publication | IEEE Xplore