From SysML to Model Checkers via Model Transformation. - Martin Kölbl; Stefan Leue; Hargurbir Singh (SPIN, 2018)

Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. - Georgiana Caltais; Stefan Leue; Hargurbir Singh (MODELSWARD, 2020)

Causal Reasoning for Safety in Hennessy Milner Logic. - Georgiana Caltais; Mohammad Reza Mousavi 001; Hargurbir Singh (Fundam. Informaticae, 2020)