Books by Japan-U.S. Workshop on Testing, Modeling, and Simulation