A new method for testing real time systems | IEEE Conference Publication | IEEE Xplore