Maffeis, O.O.MaffeisPoigne, A.A.Poigne2022-03-072022-03-071996https://publica.fraunhofer.de/handle/publica/288835en005006629Synchronous automata for reactive, real-time or embedded systemsbook