Model-Based Testing of Real-Time Distributed Systems. - Jüri Vain; Evelin Halling; Gert Kanter; Aivo Anier; Deepak Pal (DB&IS, 2016)

Automatic Distribution of Local Testers for Testing Distributed Systems. - Jüri Vain; Evelin Halling; Gert Kanter; Aivo Anier; Deepak Pal (DB&IS (Selected Papers), 2016)

Model-based maintenance scheduling in flexible modular automation systems. - Deepak Pal; Jüri Vain; Seshadhri Srinivasan; Srini Ramaswamy (ETFA, 2017)

Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors. - Deepak Pal; Jüri Vain (DB&IS, 2018)

Model Based Test Framework for Communications-Critical Internet of Things Systems. - Deepak Pal; Jüri Vain (DB&IS (Selected Papers), 2018)

A model-based approach for design and verification of Industrial Internet of Things. - Muthukumar Natarajan; Seshadhri Srinivasan; Kannan Ramkumar; Deepak Pal; Juri Vain; Srini Ramaswamy (Future Gener. Comput. Syst., 2019)