Title: Models & Algorithms for Automatic Reliability Assessment of Complex Systems