A modeling domain-specific language for IoT-enabled operating systems. - Tiago Gomes 001; P. Lopes; J. Alves; Pedro Mestre; Jorge Cabral 001; João L. Monteiro 001; Adriano Tavares (IECON, 2017)