"Specification and Timing Analysis of Real-Time Systems."

Shuhua Wang, Grace Tsai (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics