Proceedings of the 10th international workshop on Formal methods for industrial critical systems
ACM Digital Library