Application and research on model-based safety analysis | IEEE Conference Publication | IEEE Xplore