@inproceedings{kandl06:17[TUW-140222], author = {Kandl, Susanne and Kirner, Raimund and Fraser, Gordon}, title = {Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems}, booktitle = {3rd International Workshop on Dependable Embedded Systems, Proceedings}, year = {2006}, pages = {17--21}, note = {talk: 3rd International Workshop on Dependable Embedded Systems, Leeds, UK; 2006-10-01} }