"A formal concurrency model based architecture description language for ..."

Wei Qin, Subramanian Rajagopalan, Sharad Malik (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics