@book{29584,
	author = {Moller, Faron, and Struth, Georg.},
	title = {Modelling computer systems},
	publisher = {Springer,,},
	year = {2013.},
	series = {Undergraduate topics in computer science},
	address = {London ; ;},
	url = {https://unicurn.sharepoint.com/:b:/s/biblioteca/ER0UdPOf1ANNvQfxc6fGdQYB8tW_zqsbzAC-hk3qdsY2Yg?e=vyfL9a}
}