Distributed and asynchronous discrete event systems diagnosis | IEEE Conference Publication | IEEE Xplore