Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.

Hee-Hwan Kwak Insup Lee Oleg Sokolsky Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. 1999 25 Electr. Notes Theor. Comput. Sci. http://www.elsevier.com/gej-ng/31/29/23/49/23/show/Products/notes/index.htt#006 db/journals/entcs/entcs25.html#KwakLS99