2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/62454International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM) 2011