Books about model-based control software synthesis for printer paper handling