The Industrial Success of Verification Tools Based on Stålmarck's Method. - Arne Borälv (CAV, 1997)

Case Study: Formal Verification of a Computerized Railway Interlocking. - Arne Borälv (Formal Aspects Comput., 1998)

DAG-aware circuit compression for formal verification. - Per Bjesse; Arne Borälv (ICCAD, 2004)

Interlocking Design Automation Using Prover Trident. - Arne Borälv (FM, 2018)

Adopting Formal Methods in an Industrial Setting: The Railways Case. - Maurice H. ter Beek; Arne Borälv; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Christer Löfving; Franco Mazzanti (FM, 2019)