A new example can be downloaded and interacted with in both SystemModeler and Mathematica. The example can be found here: UPS Reliability.
In this example the behavior of the physical system and the reliability of the system are studied. In the behavioral analysis the switching that happens when the UPS changes from utility to battery power is studied.
In the reliability analysis the change in reliability when using a consumer battery and a commercial grade battery is studied.
Download it and give a try yourself!