A special issue of the Journal of Automatic Reasoning (Topic: "Formal Modeling and Verification of Critical Systems") appeared recently. The special issue was edited by Serge Autexier, Heiko Mantel, Stephan Merz, and Tobias Nipkow.