selected publications

• academic article

  • Fiona: A Tool to Analyze Interacting Open Nets..  .  99-104. 2008

• chapter

  • From Public Views to Private Views – Correctness-by-Design for Services.  Springer eBooks. 139-153. 2008