Today marks a milestone: my 250th “Playing to Win/Practitioner Insights” series post. Back on October 5, 2020, when I published the first piece in this strategy series, “The Role of Management Systems ...

Formal methods encompass mathematically rigorous techniques for the specification, development and verification of safety‐critical railway systems. In the context of modern railway transport, these ...