LLVM2CSP: Extracting CSP Models from Concurrent Programs. - Moritz Kleine; Björn Bartels; Thomas Göthel; Steffen Helke; Dirk Prenzel (NASA Formal Methods, 2011)