Adding specification for device delete