S. Abdi and D. Gajski, "A Tool for Functional Verfication of System Level Model Refinements," TR 05-15, October 2005. download pdf
S. Pasricha, N. Dutt, and M. Ben-Romdhane, "Bus Matrix Communication Architecture Synthesis," TR 05-13, October 2005. download pdf
G. Sachdeva, R.Doemer, and P. Chou, "System Modeling: A Case Study on A Wireless Sensor Network," TR 05-12, June 2005. download pdf
M. Reshadi, B. Gorjiara, and D. Gajski, "NISC Technology and Preliminary Results," TR 05-11, August 2005. download pdf
D.Gajski, A. Gerstlauer, R. Doemer, S. Abdi, J. Peng, D. Shin, "TL Environment," TR 05-10, July 2005. download pdf