@article{STTT2025,
  author       = {Hugues Evrard and
                  Alastair F. Donaldson},
  title        = {Analysing Futex-based Synchronisation Primitives Using Model Checking},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  year         = {2025},
  doi          = {10.1007/s10009-025-00783-4},
  note         = {To appear},
}