Parallel sample path construction techniques for discrete event systems: K-constructability and applications | IEEE Conference Publication | IEEE Xplore