@phdthesis{Abdulaziz:phd,
    author           = {Mohammad Abdulaziz},
    month            = jun,
    paperurl         = {https://trustworthy.systems/publications/papers/Abdulaziz%3Aphd.pdf},
    school           = {Australian National University},
    title            = {Formally Verified Compositional Algorithms for Factored Transition Systems},
    year             = {2018}
  }