Iliano Cervesato Catherine Meadows One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements. 216-227 2007 4 IEEE Trans. Dependable Sec. Comput. 3 http://doi.ieeecomputersociety.org/10.1109/TDSC.2007.70206 db/journals/tdsc/tdsc4.html#CervesatoM07