The use of prime implicants in dependability analysis of software controlled systems · Study