Formal management of CAD/CAM processes - Kohlhase, Michael; Schröder, Lutz; et al. (2nd World Congress on Formal Methods, FM 2009, 2009)