Handling behavioral components in multi-level concurrent fault simulation | IEEE Conference Publication | IEEE Xplore