%0 Conference Proceedings %F ispdc08 %A Gamatiť, A. %A Rutten, E. %A Yu, H. %A Boulet, P. %A Dekeyser, J.-L. %T Modeling and Formal Validation of High-Performance Embedded Systems %B 7th International Symposium on Parallel and Distributed Computing, ISPDC '08 %8 July %D 2008