A test strategy for the distributed real-time system MARS | IEEE Conference Publication | IEEE Xplore