X Meets Z: Verifying Correctness in the Presence of POSIX Threads. - Bart Massey; Robert T. Bauer (USENIX ATC, FREENIX Track, 2002)