A Hybrid Approach for Reachability Analysis of Complex Software Systems Using Fuzzy Adaptive Particle Swarm Optimization Algorithm and Rule Composition. - Salimi, Nahid; Soleimani, Seyfollah; Rafe, Vahid; Khodadad, Davood (Mathematical & Computational Applications, 2025)