CUDA Accelerated LTL Model Checking. - Jiri Barnat; Lubos Brim; Milan Ceska 002; Tomas Lamr (ICPADS, 2009)