@book{56833,
	author = {Buttazzo, Giorgio. and SpringerLink (Online service)},
	title = {Hard Real-Time Computing Systems},
	publisher = {Springer Nature Switzerland :},
	year = {2024.},
	address = {Cham :},
	edition = {4th ed. 2024.},
	url = {https://doi.org/10.1007/978-3-031-45410-3}
}