https://123dok.net/document/qvl1m84r-diagnosability-asynchronous-discrete-event-systems-partial-order-semantics.html