@inbook{236aeb4b9b9648db8299bd93f997d77c,
title = "Formal Modelling and Analysis of Socio-Technical Systems",
author = "Probst, {Christian W.} and Florian Kamm{\"u}ller and Hansen, {Rene Rydhof}",
year = "2016",
doi = "10.1007/978-3-319-27810-0_3",
language = "English",
isbn = "978-3-319-27809-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "54--73",
editor = "Probst, {Christian W.} and Chris Hankin and Hansen, {Rene Rydhof}",
booktitle = "Semantics, Logics, and Calculi",
address = "Germany",
}