May-happen-in-parallel analysis based on segment graphs for safe ESL models | IEEE Conference Publication | IEEE Xplore