selected publications

• academic article

  • The prestressed cast iron pressure vessel (PCIV): Its applicability for gas- and water-cooled nuclear power reactors and for burst protections.  Nuclear Engineering and Design.  1974

• chapter

  • Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing.  Lecture Notes in Computer Science. 2005