@misc{indiciae256737f82d08,
  title = {Real-Time Protocol Engineering with the B Language},
  author = {Frost, Sandra L. and Sontowski, Sina and Guven, Erhan},
  year = {2024},
  doi = {10.2172/2342038},
  url = {https://www.osti.gov/biblio/2342038},
  note = {Source identifier: 2342038}
}