Tool-based development of man-machine interfaces | IEEE Conference Publication | IEEE Xplore