CSeq: A concurrency pre-processor for sequential C verification tools | IEEE Conference Publication | IEEE Xplore