Effective correctness criteria for real-time requirementsAmalinda Christina PostUitverkochtHou mij op de hoogte
