Effective correctness criteria for real-time requirementsAmalinda Christina PostVypredaná4,3Postrážiť
