We are happy to announce that MoDeS³ (Model-Based Demonstrator of Smart and Safe Systems) project won the 3rd place in the Open IoT Developer Challenge. In the framework of the project an IoT robot controller and a railway system has been implemented in order to demonstrate how modeling, verification, and validation techniques can be used for IoT.