Verificación Dinámica de Composiciones en la Internet de las Cosas usando Procesamiento de Eventos Complejos