model-based control software synthesis for printer paper handling by C. Pillai