Model-based synthesis of a real-time image processing system | IEEE Conference Publication | IEEE Xplore