@inproceedings{DBLP:conf/fmics/SfarCIC23,
	author = {Sfar, Aziz and Carral, David and Irofti, Dina and Croitoru, Madalina},
	editor = {Cimatti, Alessandro and Titolo, Laura},
	title = {Testing Logical Diagrams in Power Plants: {A} Tale of {LTL} Model Checking},
	booktitle = {Formal Methods for Industrial Critical Systems - 28th International Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {14290},
	pages = {189--204},
	publisher = {Springer},
	year = {2023},
	url = {https://doi.org/10.1007/978-3-031-43681-9\_11},
	doi = {10.1007/978-3-031-43681-9\_11}
}