Copyright 2007 by the Association for Computing Machinery, Inc. (ACM). Permission to make digital or hard copies of portions of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyright for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permission to republish from Publications Dept., ACM, Inc. Fax +1 (212) 869-0481 or firstname.lastname@example.org For other copying of articles that carry a code at the bottom of the first or last page, copying is permitted provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923, USA.
The published version of this article contains an error in the summary of the contributions of “Reliability-Aware System Synthesis” by Glaß, Lukasiewycz, Streichert, Haubelt, and Teich. We recommend reading this corrected version of our article. Only four lines have changed from the original version.