A Design Method for Embedded Software Systems. - Anders P. Ravn; Hans Rischel; Hans Henrik Løvengreen (BIT, 1988)

Specification Of Embedded, Real-time Systems. - Jens Ulrik Skakkebæk; Anders P. Ravn; Hans Rischel; Chaochen Zhou (RTS, 1992)

Duration Specifications for Shared Processors. - Zhou Chaochen; Michael R. Hansen; Anders P. Ravn; Hans Rischel (FTRTFT, 1992)

Introduction. - Robert L. Grossman; Anil Nerode; Anders P. Ravn; Hans Rischel (Hybrid Systems, 1992)

Specifying and Verifying Requirements of Real-Time Systems. - Anders P. Ravn; Hans Rischel; Kirsten Mark Hansen (IEEE Trans. Software Eng., 1993)

Provably Correct Systems. - Jifeng He 001; C. A. R. Hoare; Martin Fränzle; Markus Müller-Olm; Ernst-Rüdiger Olderog; Michael Schenke; Michael R. Hansen; Anders P. Ravn; Hans Rischel (FTRTFT, 1994)

Hybrid Control of a Robot - A Case Study. - Anders P. Ravn; Hans Rischel; Finn Conrad; Torben Ole Andersen (Hybrid Systems, 1994)

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

Engineering of Real-Time Systems with an Experiment in Hybrid Control. - Anders P. Ravn; Thomas J. Eriksen; Michael Holdgaard; Hans Rischel (European Educational Forum: School on Embedded Systems, 1996)

Design and prototyping of real-time systems using CSP and CML. - Hans Rischel; Hongyan Sun (RTS, 1997)

Real-Time Constraints Through the ProCoS Layers. - Anders P. Ravn; Hans Rischel (Correct System Design, 1999)