Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report - Ehrig, Hartmut; Damm, Werner; Desel, Jörg; Große-Rhode, Martin; Reif, Wolfgang; Schnieder, Eckehard; Westkämper, Engelbert (Springer Berlin Heidelberg, 2004)