Αποστολή με SMS: Binary decision diagrams and extensions for system reliability analysis /