selected publications academic article Fiona: A Tool to Analyze Interacting Open Nets. 2008 chapter From Public Views to Private Views – Correctness-by-Design for Services. Springer eBooks. 139-153. 2008