Formal Methods For Industrial Critical Systems 25th International Conference Fmics | Desertcart Romania