Specifying and verifying the steam boiler control system with time extended LOTOS

Willig, A.A.WilligSchieferdecker, I.K.I.K.Schieferdecker2022-03-032022-03-031996https://publica.fraunhofer.de/handle/publica/18968510.1007/BFb0027250en004400Specifying and verifying the steam boiler control system with time extended LOTOSbook article