A Formal Semantics Definition of Sequential Ada. - Jan Storbank Pedersen (Towards a Formal Description of Ada, 1980)

VDM in Three Generations of Ada* Formal Descriptions. - Jan Storbank Pedersen (VDM Europe, 1987)

Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming. - Jan Storbank Pedersen (IFIP Congress, 1989)

Using RAISE - First Impressions from the LaCoS Applications. - D. L. Chalmers; Bent Dandanell; Jesper Gørtz; Jan Storbank Pedersen; Eld Zierau 001 (VDM Europe (1), 1991)

Experience from Applications of RAISE. - Bent Dandanell; Jesper Gørtz; Jan Storbank Pedersen; Eld Zierau 001 (FME, 1993)

A Case Study in the Reuse of On-board Embedded Real-Time Software. - Tullio Vardanega; Gert Caspersen; Jan Storbank Pedersen (Ada-Europe, 1999)

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. - Marius Mikucionis; Kim Guldstrand Larsen; Jacob Illum Rasmussen; Brian Nielsen; Arne Skou; Steen Ulrik Palm; Jan Storbank Pedersen; Poul Hougaard (ISoLA (2), 2010)