Model-Based Testing of Industrial Transformational Systems. - Petur Olsen; Johan Foederer; Jan Tretmans (ICTSS, 2011)

From BDD Scenarios to Test Case Generation. - Tannaz Zameni; Petra van den Bos; Jan Tretmans; Johan Foederer; Arend Rensink (ICSTW, 2023)

Sequential Composition of BDD Transition Systems for Model-Based Testing. - Tannaz Zameni; Petra van den Bos; Johan Foederer; Arend Rensink (FORTE, 2025)