A compact differential absorption lidar for tropospheric ozone measurement | IEEE Conference Publication | IEEE Xplore