A Safety Case Pattern for Model-Based Development Approach