@article{tan_xu_yao_2011, 
  title={A DSPN modeling and simlation Tool for Avionics System}, 
  volume={15}, 
  DOI={10.1016/j.proeng.2011.08.642}, 
  publisher={Elsevier BV}, 
  author={Tan and Xu and Yao}, 
  year={2011}
  }