Rail Requirements Tracking and Architectural Verification. - Aroua Ben Daya; Rim Saddem-Yagoubi; Mohamed Taha Bennani (VECoS, 2025)