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