@book{2230,
	author = {Almeida, Luis. and SpringerLink (Online service)},
	title = {Real-Time Systems},
	publisher = {Springer US :},
	address = {New York :},
	url = {https://doi.org/10.1007/11241.1573-1383}
}