@InProceedings{CKT03, author = {S. Chakraborty and S. K\"unzli and L. Thiele}, title = {A General Framework for Analysing System Properties in Platform-Based Embedded System Designs}, booktitle = {Proc. 6th Design, Automation and Test in Europe (DATE)}, year = 2003, address = {Munich, Germany}, month = {March}, pages = {190--195} }