A Domain-Specific Language for Modeling IoT System Architectures That Support Monitoring | IEEE Journals & Magazine | IEEE Xplore