This dissertation thesis deals with dependability issues: methods for reliability, availability, and safety properties prediction to guarantee their requested level before proceeding to the manufacturing process or before ...