Gerçek zamanlı sistemler için yüksek güvenirlikli çoklu yazılım sentezi (The high-reliability multi-version software synthesis for real time systems) - Nadir Subasi (2020)