Henniger, O.O.Henniger2022-03-092022-03-091997https://publica.fraunhofer.de/handle/publica/329846en005004On test case generation from asynchronously communicating state machinesconference paper