publications

[bibtex group=year group_order=desc]

Dependable Embedded Systems — Design & Analysis methodologies and tools