Fault-Based Interface Testing Between Real-Time Operating System and Application | IEEE Conference Publication | IEEE Xplore