Synthesis Lectures on Algorithms and Software in Engineering