"Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL."

Jidong Lv, Tao Tang (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics