Joseba Andoni阿吉雷 Leire Etxeberria公司 劳尔·巴博萨 Stylianos Basagiannis公司 乔治·吉安塔米迪斯 托马斯·鲍尔0002 Enrico Ferrari公司 米凯尔·拉巴恩·埃斯纳奥拉 瓦妮莎·奥拉尼 约翰尼·伯格 大卫·佩雷拉 何塞·普伦萨 鲁珀特·施利克 亚历斯·斯姆卡 沃尔特·蒂贝蒂 斯特凡诺·托内塔 马可·波扎诺 艾哈迈特·亚齐奇 贝罗斯·桑切利（Behrooz Sangchoolie） VALU3S ECSEL项目：自动化系统安全和安保的验证和确认。 104349 2021 十一月 87 微加工。微系统 https://doi.org/10.1016/j.micpro.2021.104349 db/journals/mam/mam87.html#AgireBBGBBFEOOPSTTBYS21