    @inproceedings {1981,
	title = {Verification and Validation Methods for a Trust-by-Design Framework for the IoT},
	booktitle = {36th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec{\textquoteright}22)},
	volume = {13383},
	year = {2022},
	month = {07/2022},
	pages = {183-194},
	publisher = {Springer},
	organization = {Springer},
	address = {Newark, NJ, USA},
	keywords = {Internet of Things (IoT), SysML, System Development Life Cycle (SDLC), Trust, UML},
	isbn = {978-3-031-10683-5},
	doi = {https://doi.org/10.1007/978-3-031-10684-2_11},
	url = {https://link.springer.com/chapter/10.1007/978-3-031-10684-2_11},
	author = {Davide Ferraris and Carmen Fernandez-Gago and Javier Lopez}
}
