Development of Safety-Critical Real-Time Systems. - Hans Rischel; Jorge Cuéllar; Simon Mørk; Anders P. Ravn; Isolde Wildgruber (SOFSEM, 1995)

A Timed Semantics for SDL. - Simon Mørk; Jens Chr. Godskesen; Michael R. Hansen; Robin Sharp (FORTE, 1996)

A Universal Reactive Machine. - Henrik Reif Andersen; Simon Mørk; Morten Ulrik Sørensen (CONCUR, 1997)

Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems. - Simon Mørk (Nord. J. Comput., 2001)