Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings | IEEE Conference Publication | IEEE Xplore