@article{ClarkeM93,
  title = {Software fault trees and weakest preconditions: a comparison and analysis},
  author = {Steven J. Clarke and John A. McDermid},
  year = {1993},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=225549},
  researchr = {https://researchr.org/publication/ClarkeM93},
  cites = {0},
  citedby = {0},
  journal = {IEE Proceedings - Software},
  volume = {8},
  number = {4},
  pages = {225-236},
}