Practical Verification of Safety-Critical Systems