Sinachopoulos, A.A.Sinachopoulos2022-03-072022-03-071988https://publica.fraunhofer.de/handle/publica/285634en004005006Temporal logics for elementary net systemsreport