Using Formal Specification Techniques for Advanced Counseling Systems in Health Care. - Dominikus Herzberg; Nicola Marsden; Corinna Leonhardt; Peter Kübler; Hartmut Jung; Sabine Thomanek; Annette Becker (USAB, 2007)

Specifying computer-based counseling systems in health care: A new approach to user-interface and interaction design. - Dominikus Herzberg; Nicola Marsden; Peter Kübler; Corinna Leonhardt; Sabine Thomanek; Hartmut Jung; Annette Becker (J. Biomed. Informatics, 2009)