keywords Assurance cases Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Engineering Engineering, Multidisciplinary Model-based assurance Model-based development Science & Technology Technology