Dominikus Herzberg Nicola Marsden Corinna Leonhardt Peter Kübler Hartmut Jung Sabine Thomanek Annette Becker Using Formal Specification Techniques for Advanced Counseling Systems in Health Care. 41-54 2007 conf/usab/2007 USAB http://dx.doi.org/10.1007/978-3-540-76805-0_3 db/conf/usab/usab2007.html#HerzbergMLKJTB07