Three techniques supporting the developing of large prototype systems | IEEE Conference Publication | IEEE Xplore