Generating test cases for real-time software by time Petri nets model | IEEE Conference Publication | IEEE Xplore