Use RAII for device references