Parallel construction of the Symbolic Observation Graph | IEEE Conference Publication | IEEE Xplore