Putting it all together: using automated techniques for the design and test of large telecommunication devices | IEEE Conference Publication | IEEE Xplore