@techreport {AREA-202211-Hall,
   type = {Area Exam},
   author = {Jared Hall},
   title = {On Operational Policy Conflict Detection and Resolution in CPS-IoT systems},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = AREA-202211-Hall,
   month = 11,
   year = 2022,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/AREA-202211-Hall.pdf}},
}