Computational abstractions for interactive design of robotic devices | IEEE Conference Publication | IEEE Xplore