On Failure Rate Assessment Using an Executable Model of the System | IEEE Conference Publication | IEEE Xplore