@article{nan_jun-zhou_2015, 
  title={Extend Dynamic Fault Tree Algorithm Based on Stochastic Petri Net and Micro-Satellite On-Board Computer Case Analysis}, 
  DOI={10.2174/1874444301507011051}, 
  publisher={Bentham Science Publishers Ltd.}, 
  author={Nan and Jun-zhou}, 
  year={2015}, 
  month={Sep}
  }