@book{4361,
	author = {Piterman, Nir. and SpringerLink (Online service)},
	title = {Formal Methods in System Design},
	publisher = {Springer US :},
	address = {New York :},
	url = {https://doi.org/10.1007/10703.1572-8102}
}