Model Failure and Context Switching Using Logic-Based Stochastic Models