Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. - Jüri Vain; Leonidas Tsiopoulos; Jishu Guin (ICECCS, 2016)

Temporal Multi-view Contracts for Efficient Test Models. - Jishu Guin; Jüri Vain; Leonidas Tsiopoulos; Gert Valdek (DB&IS, 2022)

Temporal Multi-View Contracts Help Developing Efficient Test Models. - Jishu Guin; Jüri Vain; Leonidas Tsiopoulos; Gert Valdek (Balt. J. Mod. Comput., 2022)

Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. - Jishu Guin; Jüri Vain; Leonidas Tsiopoulos (MODELSWARD, 2025)