Preservation of LTL properties in desynchronized systems | IEEE Conference Publication | IEEE Xplore