@mastersthesis {MS-201707-Wathugala,
   type = {Masters Thesis},
   author = {Manujinda Wathugala},
   title = {Formal Modeling Can Improve Smart Transportation Algorithm Development},
   school = {College of Arts and Sciences, University of Oregon},
   month = 7,
   year = 2017,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/MS-201707-Wathugala.pdf}},
}