Model Checking and Model-based Testing: Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations (Bibliography and Index)