publication venue for A model management approach for assurance case reuse due to system evolution 2016