@article{butler1993infeasibility,
  title={The infeasibility of quantifying the reliability of life-critical real-time software},
  author={Butler, Ricky W and Finelli, George B},
  journal={IEEE Transactions on Software Engineering},
  volume={19},
  number={1},
  pages={3--12},
  year={1993},
  publisher={IEEE}
}

{"_id":"ecXXXAFAEaqGi85YZ","bibbaseid":"butler-finelli-theinfeasibilityofquantifyingthereliabilityoflifecriticalrealtimesoftware-1993","downloads":0,"creationDate":"2016-10-18T11:28:25.395Z","title":"The infeasibility of quantifying the reliability of life-critical real-time software","author_short":["Butler, R. W","Finelli, G. B"],"year":1993,"bibtype":"article","biburl":"http://www.dcl.hpi.uni-potsdam.de/teaching/ftLecture16/references.bib","bibdata":{"bibtype":"article","type":"article","title":"The infeasibility of quantifying the reliability of life-critical real-time software","author":[{"propositions":[],"lastnames":["Butler"],"firstnames":["Ricky","W"],"suffixes":[]},{"propositions":[],"lastnames":["Finelli"],"firstnames":["George","B"],"suffixes":[]}],"journal":"IEEE Transactions on Software Engineering","volume":"19","number":"1","pages":"3–12","year":"1993","publisher":"IEEE","bibtex":"@article{butler1993infeasibility,\r\n title={The infeasibility of quantifying the reliability of life-critical real-time software},\r\n author={Butler, Ricky W and Finelli, George B},\r\n journal={IEEE Transactions on Software Engineering},\r\n volume={19},\r\n number={1},\r\n pages={3--12},\r\n year={1993},\r\n publisher={IEEE}\r\n}\r\n\r\n","author_short":["Butler, R. W","Finelli, G. B"],"key":"butler1993infeasibility","id":"butler1993infeasibility","bibbaseid":"butler-finelli-theinfeasibilityofquantifyingthereliabilityoflifecriticalrealtimesoftware-1993","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["infeasibility","quantifying","reliability","life","critical","real","time","software","butler","finelli"],"keywords":[],"authorIDs":[],"dataSources":["MhZYhoNXHWKT32fS8"]}