Speci and analysis of soft real-time systems: Quantity and quality (1999)

by P D'Argenio, J-P Katoen, E Brinksma
Venue:In Proc. IEEE Real-Time Systems Symposium. IEEE Computer