@phdthesis{987,
  author = {Jason Scott},
  title = {Method for Modeling and Verification of Real-Time Systems},
  year = {1996},
  journal = {Master's Thesis},
  publisher = {Vanderbilt University},
  note = {Electrical Engineering},
  language = {eng},
}