Efficient diagnosability assessment via ILP optimization: a railway benchmark | IEEE Conference Publication | IEEE Xplore