Gnesi, S.2022-03-022022-03-022012978-0-470-87618-3https://publica.fraunhofer.de/handle/publica/154838Formal methods for industrial critical systems