Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. - Klaus Havelund; Arne Skou; Kim Guldstrand Larsen; Kristian Lund (RTSS, 1997)

Mobile Power Information System. - Kristian Lund; John Krogstie (Int. J. Interoperability Bus. Inf. Syst., 2011)