Using Model Checking in a Parallelizing Compiler.

Teo Rus and Eric Van Wyk,

Parallel Processing Letters, 8 (4): 459-471, 1998.