Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors | IEEE Conference Publication | IEEE Xplore