The Stubborn Set Method in Practice. - Kimmo Varpaaniemi; Marko Rauhamaa (Application and Theory of Petri Nets, 1992)

On Combining the Stubborn Set Method with the Sleep Set Method. - Kimmo Varpaaniemi (Application and Theory of Petri Nets, 1994)

prod 3.2: An Advanced Tool for Efficient Reachability Analysis. - Kimmo Varpaaniemi; Keijo Heljanko; Johan Lilius (CAV, 1997)

Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. - Nisse Husberg; Teemu Tynjälä; Kimmo Varpaaniemi (ICATPN, 2000)

Stable Models for Stubborn Sets. - Kimmo Varpaaniemi (Fundam. Informaticae, 2000)

Minimizing the Number of Successor States in the Stubborn Set Method. - Kimmo Varpaaniemi (Fundam. Informaticae, 2002)

Automatic Formal Model Generation and Analysis of SDL. - Annikka Aalto; Nisse Husberg; Kimmo Varpaaniemi (SDL Forum, 2003)

Towards Ambitious Approximation Algorithms in Stubborn Set Optimization. - Kimmo Varpaaniemi (Fundam. Informaticae, 2003)

Stubborn Sets for Priority Nets. - Kimmo Varpaaniemi (ISCIS, 2004)

On Stubborn Sets in the Verification of Linear Time Temporal Properties. - Kimmo Varpaaniemi (Formal Methods Syst. Des., 2005)

A Case Study: Applying Lyra in Modeling S60 Camera Functionality. - Jukka Honkola; Sari Leppänen; Pasi Rinne-Rahkola; Martti Soderlund; Markku Turunen; Kimmo Varpaaniemi (ECBS, 2007)

Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets. - Kimmo Varpaaniemi; Leo Ojala (Fundam. Informaticae, 2008)

Supporting Reuse in Event B Development: Modularisation Approach. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (ASM, 2010)

Verifying Mode Consistency for On-Board Satellite Software. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Pauli Väisänen; Dubravka Ilic; Timo Latvala (SAFECOMP, 2010)

Derivation and Formal Verification of a Mode Logic for Layered Control Systems. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (APSEC, 2011)

Deriving a mode logic using failure modes and effects analysis. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (Int. J. Crit. Comput. Based Syst., 2012)

Deployment in the Space Sector. - Dubravka Ilic; Linas Laibinis; Timo Latvala; Elena Troubitsyna; Kimmo Varpaaniemi (Industrial Deployment of System Engineering Methods, 2013)

Developing mode-rich satellite software by refinement in Event-B. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (Sci. Comput. Program., 2013)

Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems. - Viorel Preoteasa; Timo Latvala; Kimmo Varpaaniemi (CS&P, 2019)