Towards a unified approach to the testability of co-designed systems | IEEE Conference Publication | IEEE Xplore