Making specifications executable - Using IPTES Meta-IV. - Michael Andersen; René Elmstrøm; Poul Bøgh Lassen; Peter Gorm Larsen (Microprocess. Microprogramming, 1992)

IPTES - Incremental Prototyping Technology for Embedded real-time Systems. - Petri Pulli; René Elmstrøm (Microprocess. Microprogramming, 1992)

An Executable Subset of VDM-SL, in an SA/RT Framework. - René Elmstrøm; Poul Bøgh Lassen; Michael Andersen (Real Time Syst., 1993)

Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. - René Elmstrøm; Raino Lintulampi; Mauro Pezzè (Real Time Syst., 1993)

IPTES: A Concurrent Engineering Approach for Real-Time Software Development. - Petri Pulli; René Elmstrøm (Real Time Syst., 1993)

The IFAD VDM-SL toolbox: a practical approach to formal specifications. - René Elmstrøm; Peter Gorm Larsen; Poul Bøgh Lassen (ACM SIGPLAN Notices, 1994)

Proposal for Tools Supporting Component Based Programming. - Henrik Lykke Nielsen; René Elmstrøm (ECOOP Workshops, 1999)