Virtual white board: Leveraging investments in interface based design and executable specification | IEEE Conference Publication | IEEE Xplore