2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/93795International School on Tool-Based Rigorous Engineering of Software Systems (STRESS) 2016