The effectiveness of real-time embedded software testing | IEEE Conference Publication | IEEE Xplore