Correct-by-construction multi-component SoC design | IEEE Conference Publication | IEEE Xplore