Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard: Partial order diagnosability of discrete event systems using petri net unfoldings. CDC 2003: 3748-3753