Andreas Seyfang Begoña Martínez-Salvador Radu Serban Jolanda Wittenberg Silvia Miksch Mar Marcos Annette ten Teije Kitty Rosenbrand Maintaining Formal Models of Living Guidelines Efficiently. 441-445 2007 conf/aime/2007 AIME http://dx.doi.org/10.1007/978-3-540-73599-1_58 db/conf/aime/aime2007.html#SeyfangMSWMMTR07