Safety Critical Functional Thread Analysis