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