GENESYS - A Cross-Domain Architecture for Dependable Embedded Systems | IEEE Conference Publication | IEEE Xplore