Towards Probabilistic Modelling in Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (IFM, 2010)

Augmenting formal development of control systems with quantitative reliability assessment. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (SERENE, 2010)

Quantitative Verification of System Safety in Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (SERENE, 2011)

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (IFM, 2012)

Formal Development and Assessment of a Reconfigurable On-board Satellite System. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Timo Latvala; Laura Nummila (SAFECOMP, 2012)

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (SERENE, 2013)

Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. - Dominique Méry; Rushikesh Sawant; Anton Tarasyuk (MEDI, 2015)

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Timo Latvala (SAFECOMP, 2015)

Integrating stochastic reasoning into Event-B development. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (Formal Aspects Comput., 2015)