Specification and Analysis of Soft Real-Time Systems: Quantity and Quality.

Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma

Browse the full RTSS paper archive.