Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus | IEEE Conference Publication | IEEE Xplore