Software Solution for Reliability Analysis Based on Interpolative Boolean Algebra. - Nemanja Lilic; Bratislav Petrovic; Pavle D. Milosevic (SOFA (1), 2014)