Time Based Requirements And Partitioning Of Systems With Automatic Test Case Generation. by Tony Carl Ewing