Concurrency Defect Localization in Embedded Systems using Static Code Analysis: An Evaluation | IEEE Conference Publication | IEEE Xplore