Model-based Generation of Hardware/Software Architectures for Robotics Systems | IEEE Conference Publication | IEEE Xplore