Example 3. Formal Design of Sleepy Eyes of Death, “Mean Time ‘Till Failure” (2007)