@book{9767,
	author = {Fisman, Dana||Rosu, Grigore},
	title = {Tools and Algorithms for the Construction and Analysis of Systems},
	url = {https://library.oapen.org/bitstream/20.500.12657/54030/1/978-3-030-99524-9.pdf}
}