@book{60918,
	author = {Wilfried Steiner},
	title = {Real-time systems},
	publisher = {Springer},
	year = {2022},
	address = {Switzerland},
	note = {Includes index.}
}