Effective correctness criteria for real-time requirementsAmalinda Christina PostAusverkauft4,3Bewachen
