@mastersthesis {3826,
	title = {Model-Based Synthesis of Parallel Real-Time Systems},
	year = {1995},
	school = {Vanderbilt University},
	author = {Bapty, Ted}
}
