Suppose we have a controller that activates a sprinkler when sensor detects fire. Another controller will deactivate the water if a leak is detected, but the owner is not home. This is a controller$-$based system. Using model checking $($like we did in class$)$ determine if this model satisfies the following specification.

The house does not burn down.

No

Yes