A systematic approach to the test of combined HW/SW systems | IEEE Conference Publication | IEEE Xplore