You are about to access our book library "Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science Book 12863) full version" .