Introducing R&M and testability into the undergraduate system-design course | IEEE Conference Publication | IEEE Xplore