Presenter Full Program · Contributors · Organizations · Search Program · My Agenda · Happening NowMore…Search ProgramMy AgendaHappening NowAthanasios ZolotasUniversity of YorkPresentationsResearch ManuscriptDesigning Critical Systems with Iterative Automated Safety AnalysisEmbedded SystemsRISC-VEmbedded System Design MethodologiesTime-Critical System Design