@book{1719073,
	author = {Laplante},
	title = {Real-Time Systems Design and Analysis},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=5237056}
}