Rewritten example: Machine with Breakdowns.