@inbook{bechtold_gattung_henniger_paule_1996, 
  title={Test case generation for ATM protocols using high-level Petri net models}, 
  DOI={10.1007/978-0-387-35062-2_18}, 
  publisher={Springer US}, 
  author={Bechtold and Gattung and Henniger and Paule}, 
  year={1996}
  }