@book{49500,
	author = {Paul George},
	title = {SLSV The Shakti LockStep Verification Framework},
	publisher = {Department of Electrical Engineering},
	year = {May 2018},
	address = {Shiv Nadar University},
	url = {http://dspace.snu.edu.in:8080/jspui/handle/123456789/461}
}