An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems | IEEE Conference Publication | IEEE Xplore