Cost-Effective Verification of Concurrent Safety-Critical Systems by Diyaa Atiya