CESAR - cost-efficient methods and processes for safety-relevant embedded systems (2013)