Streaming Model Analysis - Synergies from Stream Processing and Incremental Model Analysis