Using an UML profile for timing analysis with the IF validation tool-set. - Iulian Ober; Susanne Graf; Yuri Yushtein (MBEES, 2006)

Timing analysis and validation with UML: the case of the embedded MARS bus manager. - Iulian Ober; Susanne Graf; Yuri Yushtein; Ileana Ober (Innov. Syst. Softw. Eng., 2008)

Supporting UML-based development of embedded systems by formal techniques. - Jozef Hooman; Hillel Kugler; Iulian Ober; Anjelika Votintseva; Yuri Yushtein (Softw. Syst. Model., 2008)

Formal correctness, safety, dependability, and performance analysis of a satellite. - Marie-Aude Esteve; Joost-Pieter Katoen; Viet Yen Nguyen; Bart Postma; Yuri Yushtein (ICSE, 2012)

A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. - Denis Javaux; Bertram Wortelen; Andreas Lüdtke; Charles Pecheur; Regina Peldszus; Sonja Sievi; Yuri Yushtein (AAAI Spring Symposia, 2014)

An Integrated Process for FDIR Design in Aerospace. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Régis De Ferluc; Marco Gario; Andrea Guiotto; Yuri Yushtein (IMBSA, 2014)