ANALITIK: principal features of the language and its implementation. - Nisse Husberg; Jouko J. Seppänen (SIGSAM Bull., 1974)

Verifying SDL programs using Petri nets. - Nisse Husberg (SMC, 1998)

Emma: Developing an Industrial Reachability Analyser for SDL. - Nisse Husberg; Tapio Manner (World Congress on Formal Methods, 1999)

Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. - Nisse Husberg; Teemu Tynjälä; Kimmo Varpaaniemi (ICATPN, 2000)

Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. - Leo Ojala; Nisse Husberg; Teemu Tynjälä (Int. J. Softw. Tools Technol. Transf., 2001)

Automatic Formal Model Generation and Analysis of SDL. - Annikka Aalto; Nisse Husberg; Kimmo Varpaaniemi (SDL Forum, 2003)