Niemann, B.B.NiemannHaubelt, C.C.HaubeltUribe, M.M.UribeTeich, J.J.Teich2022-03-102022-03-102007https://publica.fraunhofer.de/handle/publica/35622510.1007/978-1-4020-6149-3_14en621Formalizing TLM with communicating state machinesconference paper