Formal Verification of SDL Systems at the Siemens Mobile Phone Department. - Franz Regensburger; Aenne Barnard (TACAS, 1998)