Clubs over model-based control software synthesis for printer paper handling