Marten Sijtema

Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost

Mariëlle Stoelinga, Marten Sijtema, Axel Belinfante, 2011, FMICS.

Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost

Mariëlle Stoelinga, Marten Sijtema, Axel Belinfante, 2014, Sci. Comput. Program..

Managing variability in model transformations for model-driven product lines : extending the ATL model transformation language with variability management capabilities

Marten Sijtema, 2010 .

Introducing Variability Rules in ATL for Managing Variability in MDE-based Product Lines

Marten Sijtema, Marten Sijtema, 2010 .