Industrial Application of High Level Design Tools in Large Computer System Development | IEEE Conference Publication | IEEE Xplore