Real-time schedulability-analyzable mechanisms in Ada9X

Alexander D. Stoyenko, Theodore P. Baker. Real-time schedulability-analyzable mechanisms in Ada9X. Proceedings of the IEEE, 82(1):95-107, 1994. [doi]

@article{StoyenkoB94,
  title = {Real-time schedulability-analyzable mechanisms in Ada9X},
  author = {Alexander D. Stoyenko and Theodore P. Baker},
  year = {1994},
  doi = {10.1109/5.259429},
  url = {https://doi.org/10.1109/5.259429},
  researchr = {https://researchr.org/publication/StoyenkoB94},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the IEEE},
  volume = {82},
  number = {1},
  pages = {95-107},
}