Budde, R.R.BuddeMerceron, A.A.Merceron2022-03-092022-03-091998https://publica.fraunhofer.de/handle/publica/329936en005006629A generator of boolean acceptors for safety propertiesconference paper