Methods and tools for component-based system design | IEEE Conference Publication | IEEE Xplore