@phdthesis{1002,
  author = {Ted Bapty},
  title = {Model-Based Synthesis of Parallel Real-Time Systems},
  year = {1995},
  publisher = {Vanderbilt University},
  language = {eng},
}