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