@book{58670,
	title = {Formal methods for software engineering },
	publisher = {Springer Nature},
	year = {2022},
	address = {Switzerland},
	note = {Text in theoretical computer science.
an EATCS series}
}