An optimized method for automatic test oracle generation from real-time specification | IEEE Conference Publication | IEEE Xplore