model-based safety analysis model based safety engineering model based safety analysis tools model based safety assurance model based security architecture model based security testing model based security engineering model based functional safety abc model behavior based safety model based techniques