Artho, Cyrille2022-03-022022-03-022019978-3-030-12987-3978-3-030-12988-0978-3-030-12989-7https://publica.fraunhofer.de/handle/publica/164149Formal Techniques for Safety-Critical Systems. 6th International Workshop, FTSCS 2018