Zaslat SMS: Design Methods for Reducing Failure Probabilities with Examples from Electrical Engineering