Formal Development of Software for Tolerating Transient Faults. - Dubravka Ilic; Elena Troubitsyna (PRDC, 2005)

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. - Dubravka Ilic; Elena Troubitsyna; Linas Laibinis; Sari Leppänen (ISoLA, 2006)

Formal Development of Mechanisms for Tolerating Transient Faults. - Dubravka Ilic; Elena Troubitsyna; Linas Laibinis; Colin F. Snook (RODIN Book, 2006)

Deriving Formal Specifications from Informal Requirements. - Dubravka Ilic (COMPSAC (1), 2007)

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)

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

Formalisation of an Industrial Approach to Monitoring Critical Data. - Yuliya Prokhorova; Elena Troubitsyna; Linas Laibinis; Dubravka Ilic; Timo Latvala (SAFECOMP, 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)

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