Models, methods and means as resources for solving challenges in co-design and testing of computer systems and their components | IEEE Conference Publication | IEEE Xplore