Early and not-so-early prototyping-rationale and tool support | IEEE Conference Publication | IEEE Xplore