Glaudel, M.-C.2022-03-022022-03-0219963-540-60973-3https://publica.fraunhofer.de/handle/publica/132548FME '96. Industrial benefit and advances in formal methods