Dependable embedded systems: The German research foundation DFG priority program SPP 1500 | IEEE Conference Publication | IEEE Xplore