Using Object Orientation in High Integrity Applications: A Case Study | Publicación