ALGEBRAIC MODELLING OF FAULT TREES WITH PRIORITY AND GATES · Study