Sinnott, R.R.Sinnott2022-03-092022-03-091999https://publica.fraunhofer.de/handle/publica/334402en004Modelling dynamic distributed systems in LOTOSconference paper