@book{29562,
	author = {Platzer, André., and SpringerLink (Online service)},
	title = {Logical Foundations of Cyber-Physical Systems},
	publisher = {Springer International Publishing : : :},
	year = {2018.},
	address = {Cham : : :},
	url = {https://unicurn.sharepoint.com/:b:/s/biblioteca/EYxcN-y5JxVIuh57Z5JcHHgB8Jpe_835DHO9kE_K3sth8g?e=nZ7hZp}
}