Efficient model checking of PSL safety properties. - Tuomas Launiainen; Keijo Heljanko; Tommi A. Junttila (IET Comput. Digit. Tech., 2011)

Increasing Confidence in Liveness Model Checking Results with Proofs. - Tuomas Kuismin; Keijo Heljanko (Haifa Verification Conference, 2013)

Verifying large modular systems using iterative abstraction refinement. - Jussi Lahtinen; Tuomas Kuismin; Keijo Heljanko (Reliab. Eng. Syst. Saf., 2015)

Towards Security-Explicit Formal Modelling of Safety-Critical Systems. - Elena Troubitsyna; Linas Laibinis; Inna Pereverzeva; Tuomas Kuismin; Dubravka Ilic; Timo Latvala (SAFECOMP, 2016)

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. - Inna Vistbakka; Elena Troubitsyna; Tuomas Kuismin; Timo Latvala (SERENE, 2017)