J. Tretmans, and R. Janssen. A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 491-511. Springer, (2022)
A. Bertolino, L. Frantzen, A. Polini, and J. Tretmans. Architecting Systems with Trustworthy Components, volume 3938 of Lecture Notes in Computer Science, page 1-25. Springer, (2004)
E. Brinksma, W. Grieskamp, and J. Tretmans. Perspectives of Model-Based Testing, volume 04371 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)
E. Brinksma, W. Grieskamp, and J. Tretmans. Perspectives of Model-Based Testing, volume 04371 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)