Assurance and certification of cyber-physical systems: The AMASS open source ecosystem. - Jose Luis de la Vara; Alejandra Ruiz 001; Gaël Blondelle (J. Syst. Softw., 2021)