K-delayed strong detectability of discrete-event systems | IEEE Conference Publication | IEEE Xplore