Model-based Systems Design for Green IoT Systems Topics: Energy Efficient Hardware and Communication Protocols; Energy-efficient Wireless Systems and Networks; Green Computing Models, Methodologies and Paradigms In Proceedings of the 10th International Conference on Smart Cities and Green ICT Systems SMARTGREENS - Volume 1, 204-211, 2021