Winter, K.K.Winter2022-03-062022-03-062001https://publica.fraunhofer.de/handle/publica/274627en004006Model checking for abstract state machinesdoctoral thesis