Systems theory and a drive towards model-based safety analysis | IEEE Conference Publication | IEEE Xplore