Examples of a Real-Time Temporal Logic Specification. - Ron Koymans; Willem P. de Roever (The Analysis of Concurrent Systems, 1983)

Real-Time Programming and Asynchronous Message Passing. - Ron Koymans; Jan Vytopil; Willem P. de Roever (PODC, 1983)

Specifying Message Passing Systems Requires Extending Temporal Logic. - Ron Koymans (PODC, 1987)

Paradigms for Real-time Systems. - Ron Koymans; Ruurd Kuiper 001; Erik Zijstra (FTRTFT, 1988)

Compositional Semantics for Real-Time Distributed Computing - Ron Koymans; R. K. Shyamasundar; Willem P. de Roever; Rob Gerth; S. Arun-Kumar (Inf. Comput., 1988)

Specifying Real-Time Properties with Metric Temporal Logic. - Ron Koymans (Real Time Syst., 1990)

(Real) Time: A Philosophical Perspective. - Ron Koymans (REX Workshop, 1991)

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Ron Koymans (Springer, 1992)

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. - Jacob Brunekreef; Joost-Pieter Katoen; Ron Koymans; Sjouke Mauw (Distributed Comput., 1996)

A Small Step for Mankind. - Cornelis Huizing; Ron Koymans; Ruurd Kuiper 001 (Concurrency, Compositionality, and Correctness, 2010)

Assessment of a Business-to-Consumer (B2C) model for Telemonitoring patients with Chronic Heart Failure (CHF). - Andrija S. Grustam; Hubertus J. M. Vrijhoef; Ron Koymans; Philipp Hukal; Johan L. Severens (BMC Medical Informatics Decis. Mak., 2017)