selected publications

• academic article

  • Towards a Basic Reference Model of Open Distributed Processing.  Computer Networks and Isdn Systems.  27:1287-1304. 1995
  • Applying a Temporal Logic to the RPC-Memory Specification Problem..  .  253-273. 1994

• chapter

  • Applying a temporal logic to the RPC-memory specification problem.  Springer eBooks. 253-273. 1996

• conference paper

  • FERAL — Framework for simulator coupling on requirements and architecture level.  Formal Methods. 11-22. 2013