@TechReport{Khan01,
  author      = {Shahid Khan},
  title       = {{B}oolean-logic driven {M}arkov processes : {E}xplained. {A}nalysed. {V}erified.},
  institution = {RWTH Aachen University},
  keywords    = {},
  year        = {2022},
  number      = {AIB-2022-02},
  month       = oct,
  url         = {https://publications.rwth-aachen.de/record/854417/files/854417.pdf}
}