Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. - Jelena Marincic; Angelika Mader; Hanno Wupper; Roel J. Wieringa (IWAAPF@ICSE, 2008)

Classifying Assumptions Made during Requirements Verification of Embedded Systems. - Jelena Marincic; Angelika Mader; Roel J. Wieringa (REFSQ, 2008)

Validation of embedded system verification models. - Jelena Marincic; Angelika Mader; Roel J. Wieringa (MoDRE, 2011)

Explaining Embedded Software Modelling Decisions. - Jelena Marincic; Angelika Mader; Roel J. Wieringa (SwSTE, 2012)

Reusing knowledge in embedded systems modelling. - Jelena Marincic; Angelika Mader; Roel J. Wieringa; Yan Lucas (Expert Syst. J. Knowl. Eng., 2013)

Assessing the Quality of Tabular State Machines through Metrics. - Ammar Osaiweran; Jelena Marincic; Jan Friso Groote (QRS, 2017)