Auteurs genaamd model-based control software synthesis for printer paper handling