Wei Qin Subramanian Rajagopalan Sharad Malik A formal concurrency model based architecture description language for synthesis of software development tools. 47-56 2004 conf/lctrts/2004 LCTES http://doi.acm.org/10.1145/997163.997171 db/conf/lctrts/lctes2004.html#QinRM04