CS 9622 - Fall 2017 : Reliability as a non-functional system requirement