Zaslat SMS: Advances in Reliability and Maintainability Methods and Engineering Applications