"Parametric approach to the specification and analysis of real-time ..."

Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics