A Logical Approach to Real Options Identification With Application to UAV Systems | IEEE Journals & Magazine | IEEE Xplore