A reconfigurable component model with semantic type system for dynamic WSN applications