@book{1722311,
	title = {Dependable IoT for Human and Industry: Modeling, Architecting, Implementation},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=9218775}
}