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