Radu Serban Anna Puig-Centelles Annette ten Teije Incremental guideline formalization with tool support. 106-118 2006 conf/ifip12/2006aiai AIAI http://dx.doi.org/10.1007/0-387-34224-9_13 db/conf/ifip12/aiai2006.html#SerbanPT06