Domain Model-Based Data Stream Validation for Internet of Things Applications. - Simon Pizonka; Timo Kehrer; Matthias Weidlich 001 (MoDELS (Workshops), 2018)