Stav dette: Model-Based Approaches to the Internet of Things