The boolean algebra with restricted variables as a tool for fault tree modularization · Study