Test derivation for SDL based on ACTs. - Finn Kristoffersen; Louis Verhaard; Michael Zeeberg (FORTE, 1992)

Testability in the Context of SDL. - Jan Ellsberger; Finn Kristoffersen (PSTV, 1992)

A Common Semantics Representation for SDL and TTCN. - Thomas Walter 001; Jan Ellsberger; Finn Kristoffersen; Paul van den Merkhof (PSTV, 1992)

TTCN: Towards a Formal Semantics and Validation of Test Suites. - Finn Kristoffersen; Thomas Walter 001 (Comput. Networks ISDN Syst., 1996)

Cinderella SLIPPER: An SDL to C-Code Generator. - Yosef Rauchwerger; Finn Kristoffersen; Yair Lahav (SDL Forum, 2005)

SDL - The IoT Language. - Edel Sherratt; Ileana Ober; Emmanuel Gaudin; Pau Fonseca i Casas; Finn Kristoffersen (SDL Forum, 2015)

Evolving the ETSI Test Description Language. - Philip Makedonski; Gusztáv Adamis; Martti Käärik; Finn Kristoffersen; Xavier Zeitoun (SAM, 2016)

Test descriptions with ETSI TDL. - Philip Makedonski; Gusztáv Adamis; Martti Käärik; Finn Kristoffersen; Michele Carignani; Andreas Ulrich; Jens Grabowski (Softw. Qual. J., 2019)

Using TDL for Standardised Test Purpose Definitions. - Philip Makedonski; Ilie-Daniel Gheorghe-Pop; Axel Rennoch; Finn Kristoffersen; Bostjan Pintar; Andreas Ulrich (QRS Companion, 2020)