Title: Advanced Techniques in Reliability Model Representation and Solution